Initial commit

This commit is contained in:
Lyes Saadi 2026-01-15 17:26:07 +01:00
commit 940f1f64b2
Signed by: lyes
GPG key ID: 55A1D803917CF39A
10 changed files with 406 additions and 0 deletions

105
palette.typ Normal file
View file

@ -0,0 +1,105 @@
#let broken-stroke(paint) = (thickness: 1pt, paint: paint, dash: (array: (2em, 1em, 1em, 1em)))
#let dotted-stroke(paint) = (thickness: 1pt, paint: paint, dash: "densely-dotted")
#let fill-stroke(paint) = (thickness: 1pt, paint: paint)
#let light = (
bg: white,
fg: black,
title: (
bg: rgb("eee"),
fg: black,
sub: rgb("555"),
stroke: broken-stroke(rgb("999")),
),
env: (
bg: rgb("eee"),
fg: black,
stroke: broken-stroke(rgb("999")),
title-stroke: fill-stroke(rgb("999")),
sub-stroke: dotted-stroke(rgb("999")),
),
)
#let printing = (
bg: white,
fg: black,
title: (
bg: white,
fg: black,
sub: rgb("555"),
stroke: broken-stroke(black),
),
env: (
bg: white,
fg: black,
stroke: broken-stroke(black),
title-stroke: fill-stroke(black),
sub-stroke: dotted-stroke(black),
),
)
#let ensps-light = (
bg: light.bg,
fg: light.fg,
title: (
bg: rgb("00778b"),
fg: white,
sub: rgb(255, 255, 255, 200),
img: (
path: "static/ensps.png"
),
stroke: broken-stroke(color.hsl(187deg, 80%, 20%)),
),
env: light.env
)
#let dark = (
bg: black,
fg: white,
title: (
bg: rgb("111"),
fg: white,
sub: rgb("aaa"),
stroke: broken-stroke(rgb("777")),
),
env: (
bg: rgb("111"),
fg: white,
stroke: broken-stroke(rgb("777")),
title-stroke: fill-stroke(rgb("777")),
sub-stroke: dotted-stroke(rgb("777")),
),
)
#let ensps-dark = (
bg: dark.bg,
fg: dark.fg,
title: (
bg: rgb("00778b"),
fg: white,
sub: rgb(255, 255, 255, 200),
img: (
path: "static/ensps.png"
),
stroke: broken-stroke(color.hsl(187deg, 80%, 20%)),
),
env: dark.env
)
#let night = (
bg: rgb("#111b3b"),
fg: rgb("#f2ecbe"),
title: (
bg: rgb("#1c113a"),
fg: rgb("#f2ecbe"),
sub: rgb("#f2ecbe"),
stroke: broken-stroke(rgb("#3a3011")),
),
env: (
bg: rgb("#1c113a"),
fg: rgb("#f2ecbe"),
stroke: broken-stroke(rgb("#3a3011")),
title-stroke: fill-stroke(rgb("#3a3011")),
sub-stroke: dotted-stroke(rgb("#3a3011")),
),
)