From e671f81ae6fe5c826db9ac2af47961591ee5d597 Mon Sep 17 00:00:00 2001 From: Wojciech Nawrocki Date: Mon, 9 Sep 2024 12:27:07 -0400 Subject: [PATCH] fix: colors --- ITP/Monokai Dark.tmTheme | 410 +++++++++++++++++++++++++++++++++++++++ ITP/slides.typ | 43 ++-- 2 files changed, 434 insertions(+), 19 deletions(-) create mode 100644 ITP/Monokai Dark.tmTheme diff --git a/ITP/Monokai Dark.tmTheme b/ITP/Monokai Dark.tmTheme new file mode 100644 index 0000000..d8de214 --- /dev/null +++ b/ITP/Monokai Dark.tmTheme @@ -0,0 +1,410 @@ + + + + + name + Monokai Dark + settings + + + settings + + background + #0D0D0D + caret + #F8F8F0 + foreground + #F8F8F2 + invisibles + #3B3A32 + lineHighlight + #3D3D3D55 + selection + #A63A62 + + + + name + Comment + scope + comment + settings + + foreground + #8C8C8C + + + + name + String + scope + string + settings + + foreground + #FFEE99 + + + + name + Number + scope + constant.numeric + settings + + foreground + #FF80F4 + + + + name + Built-in constant + scope + constant.language + settings + + foreground + #FF80F4 + + + + name + User-defined constant + scope + constant.character, constant.other + settings + + foreground + #FF80F4 + + + + name + Variable + scope + variable + settings + + fontStyle + + + + + name + Keyword + scope + keyword + settings + + foreground + #F92672 + + + + name + Storage + scope + storage + settings + + fontStyle + + foreground + #F92672 + + + + name + Storage type + scope + storage.type + settings + + fontStyle + italic + foreground + #66D9EF + + + + name + Class name + scope + entity.name.class + settings + + fontStyle + underline + foreground + #A6E22E + + + + name + Inherited class + scope + entity.other.inherited-class + settings + + fontStyle + italic underline + foreground + #A6E22E + + + + name + Function name + scope + entity.name.function + settings + + fontStyle + + foreground + #A6E22E + + + + name + Function argument + scope + variable.parameter + settings + + fontStyle + italic + foreground + #FD971F + + + + name + Tag name + scope + entity.name.tag + settings + + fontStyle + + foreground + #F92672 + + + + name + Tag attribute + scope + entity.other.attribute-name + settings + + fontStyle + + foreground + #A6E22E + + + + name + Library function + scope + support.function + settings + + fontStyle + + foreground + #66D9EF + + + + name + Library constant + scope + support.constant + settings + + fontStyle + + foreground + #66D9EF + + + + name + Library class/type + scope + support.type, support.class + settings + + fontStyle + italic + foreground + #66D9EF + + + + name + Library variable + scope + support.other.variable + settings + + fontStyle + + + + + name + PHP Namespaces + scope + support.other.namespace, entity.name.type.namespace + settings + + foreground + #FFB2F9 + + + + name + PHP Namespace Alias + scope + support.other.namespace.use-as.php + settings + + foreground + #66D9EF + + + + name + PHP Namespace Keyword + scope + variable.language.namespace.php + settings + + foreground + #D66990 + + + + name + PHP Namespace Separator + scope + punctuation.separator.inheritance.php + settings + + foreground + #F92672 + + + + name + CSS Functions / Property Values + scope + support.function.misc.css, support.constant.property-value.css, support.constant.font-name.css + settings + + foreground + #FFEE99 + + + + name + Twig Tagbraces + scope + entity.other.tagbraces.twig + settings + + foreground + #A6E22E + + + + name + Twig Tag + scope + keyword.control.twig + settings + + foreground + #FD971F + + + + name + Twig Variable + scope + variable.other.twig + settings + + foreground + #FF80F4 + + + + name + Twig Variable Filter + scope + support.function.filter.variable.twig + settings + + foreground + #FFCCFB + + + + name + Twig Function + scope + entity.name.function.twig + settings + + foreground + #F92672 + + + + name + Twig Function Argument + scope + entity.other.argument.twig + settings + + foreground + #E5DB7E + + + + name + Invalid + scope + invalid + settings + + background + #F92672 + fontStyle + + foreground + #F8F8F0 + + + + name + Invalid deprecated + scope + invalid.deprecated + settings + + background + #FF80F4 + foreground + #F8F8F0 + + + + uuid + 233F0694-0B9C-43E3-A44A-ECECF7DF6C73 + + diff --git a/ITP/slides.typ b/ITP/slides.typ index 46a032e..28b297c 100644 --- a/ITP/slides.typ +++ b/ITP/slides.typ @@ -33,7 +33,7 @@ } } -#let lean = $"L∃∀N"$ +#let lean = "Lean" // Many slides adapted from https://www.cs.cmu.edu/~mheule/talks/6hole-TACAS.pdf @@ -53,16 +53,17 @@ institution: [¹ Carnegie Mellon University, USA] ), ..config-colors( - primary: rgb("#eb811b"), + primary: rgb("#fb912b"), primary-light: rgb("#d6c6b7"), - secondary: rgb("#23373b"), - neutral-lightest: rgb("#fafafa"), - neutral-dark: rgb("#23373b"), - neutral-darkest: rgb("#23373b"), + secondary: rgb("#fafafa"), + neutral-lightest: rgb("#13272b"), + neutral-dark: rgb("#fafafa"), + neutral-darkest: rgb("#fafafa"), ) ) #show: metropolis-theme.with(config) #set text(size: 23pt) +#set raw(theme: "Monokai Dark.tmTheme") #title-slide() @@ -88,7 +89,7 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. circle((angle: 30deg, radius: 1.5)) circle((angle: 240deg, radius: 1.5)) }) - line("a", "b", "c", "d", "e", "a", fill: config.colors.primary.transparentize(20%)) + line("a", "b", "c", "d", "e", "a", fill: config.colors.primary.transparentize(20%), stroke: config.colors.primary) content((0, -1.5), "5-hole ✔") content((0, -2.0), "convex 5-gon ✔") }), @@ -102,7 +103,7 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. circle((angle: 240deg, radius: 1), name: "d") circle((angle: 200deg, radius: 1.2)) }) - line("a", "b", "c", "d", "a", fill: config.colors.primary-light.transparentize(20%)) + line("a", "b", "c", "d", "a", fill: config.colors.primary-light.transparentize(20%), stroke: config.colors.primary-light) content((0, -1.5), "4-hole ✘") content((0, -2.0), "convex 4-gon ✘") }), @@ -115,7 +116,7 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. circle((angle: 240deg, radius: 1), name: "c") circle((angle: 30deg, radius: 0.2)) }) - line("a", "b", "c", "a", fill: config.colors.primary-light.transparentize(20%)) + line("a", "b", "c", "a", fill: config.colors.primary-light.transparentize(20%), stroke: config.colors.primary-light) content((0, -1.5), "3-hole ✘") content((0, -2.0), "convex 3-gon ✔") }), @@ -137,7 +138,8 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. uncover("3-", align(center, cetz.canvas(length: 33%, { import cetz.draw: * - set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 0.05)) + set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 0.05), + line: (stroke: config.colors.neutral-darkest)) on-layer(1, { circle((angle: 0deg, radius: 1), name: "a") circle((angle: 72deg, radius: 1), name: "b") @@ -153,7 +155,8 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. uncover("5-", align(center, cetz.canvas(length: 33%, { import cetz.draw: * - set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 0.05)) + set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 0.05), + line: (stroke: config.colors.neutral-darkest)) on-layer(1, { circle((angle: 0deg, radius: 1), name: "a") circle((angle: 90deg, radius: 1), name: "b") @@ -166,13 +169,14 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. line("a", "d", "c", "x", "a", fill: config.colors.primary.transparentize(20%)) } if 6 <= self.subslide { - line((angle: 0deg, radius: 1.5), (angle: 180deg, radius: 1.5), stroke: config.colors.primary) + line((angle: 0deg, radius: 1.5), (angle: 180deg, radius: 1.5), stroke: (paint: config.colors.primary, thickness: 2pt)) } }))), uncover("8-10", align(center, cetz.canvas(length: 33%, { import cetz.draw: * - set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 0.05)) + set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 0.05), + line: (stroke: config.colors.neutral-darkest)) let xθ = 20deg let yθ = xθ + 180deg on-layer(1, { @@ -184,7 +188,7 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. }) line("a", "b", "c", "a") if 9 <= self.subslide { - line((angle: xθ, radius: 1.5), (angle: yθ, radius: 1.5), stroke: config.colors.primary) + line((angle: xθ, radius: 1.5), (angle: yθ, radius: 1.5), stroke: (paint: config.colors.primary, thickness: 2pt)) } if 10 <= self.subslide { line("a", "x", "y", "c", "a", fill: config.colors.primary.transparentize(20%)) @@ -202,7 +206,8 @@ A *$bold(k)$-hole* is a convex $k$-gon with no point of $S$ in its interior. repeat: 4, self => cetz.canvas({ import cetz.draw: * - set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 1.2)) + set-style(circle: (fill: config.colors.neutral-darkest, stroke: none, radius: 1.2), + line: (stroke: config.colors.neutral-darkest)) scale(.1) on-layer(1, { let pts = ( @@ -354,7 +359,7 @@ _focus of our work_. } }) - let (cg, cb, cr) = (green, blue, red).map(c => c.desaturate(50%)) + let (cg, cb, cr) = (green, blue, red).map(c => c.desaturate(20%)) line("p", "r", "q", stroke: cg, mark: (end: "stealth", fill: cg)) line("p", "s", "t", stroke: cb, mark: (end: "stealth", fill: cb)) line("r", "s", "q", stroke: cr, mark: (end: "stealth", fill: cr)) @@ -414,7 +419,7 @@ _focus of our work_. grid2( (calc.ceil(efx), calc.ceil(efy)), (calc.floor(etx), calc.floor(ety)), (efx, efy), (etx, ety), - stroke: (thickness: 0.2pt, paint: gray, dash: "dashed")) + stroke: (thickness: 0.2pt, paint: config.colors.secondary.transparentize(50%), dash: "dashed")) }) set-style(line: (stroke: (paint: config.colors.neutral-darkest, thickness: 1.5pt))) line((efx, 0), (etx, 0), mark: (end: "stealth", fill: config.colors.neutral-darkest)) @@ -439,7 +444,7 @@ _focus of our work_. // Convex regions on-layer(-1, { set-style(line: (stroke: none)) - let colors = (red, orange, blue, green).map(c => c.transparentize(70%)) + let colors = (red, orange, blue, green).map(c => c.transparentize(30%)) // Extra convex regions at infinity if self.subslide == 4 { circle((-1.00000032679495, 2.7), name: "a", radius: 0) @@ -465,7 +470,7 @@ _focus of our work_. let ((_, yf), (_, yt)) = extents.at(0) let (x4, _) = pts.at(0).at(3) let (x6, _) = pts.at(0).at(5) - set-style(line: (stroke: (thickness: 1pt, dash: "dashed", paint: red))) + set-style(line: (stroke: (thickness: 2pt, dash: "dashed", paint: red))) line((x4, yf), (x4, yt)) line((x6, yf), (x6, yt)) }