Compare commits

..

No commits in common. "2cf6223adfe8099f1e790429a304a2e1794316f5" and "93e6ebc8ac5ae1de8a49fc874c8e6a8cbc688032" have entirely different histories.

3 changed files with 7 additions and 27 deletions

View File

@ -19,7 +19,7 @@ docs/
Install dependencies: Install dependencies:
- Nimbus Sans: `gsfonts` (name on Arch Linux) - `ttf-liberation`
Set up `docs/` as a git repo. Set up `docs/` as a git repo.

View File

@ -53,19 +53,3 @@
set math.equation(numbering: "(1)") set math.equation(numbering: "(1)")
body body
} }
// theorems, definitions, example environments
#import "@preview/ctheorems:1.1.2": *
// use `#show: thmrules` at the beginning of documents
#let theorem = thmbox("theorem", "Theorem", fill: rgb("#eeffee"))
#let corollary = thmplain(
"corollary",
"Corollary",
base: "theorem",
titlefmt: strong
)
#let definition = thmbox("definition", "Definition", inset: (x: 1.2em, top: 1em, bottom: 1em), stroke: 1pt + black)
#let example = thmbox("example", "Example").with(numbering: none)
#let proof = thmproof("proof", "Proof")

View File

@ -6,8 +6,8 @@
#let normal-size = 9pt #let normal-size = 9pt
#let large-size = 9pt #let large-size = 9pt
#let font = "Nimbus Sans" #let font = "Liberation Sans"
#let heading_font = "Nimbus Sans" #let heading_font = "Liberation Sans"
#let mono_font = "DejaVu Sans Mono" #let mono_font = "DejaVu Sans Mono"
#let settings = yaml("/settings.yml") #let settings = yaml("/settings.yml")
@ -113,11 +113,7 @@
fig fig
} }
set table(inset: 10pt, stroke: 0.5pt + black) set table(inset: 10pt, stroke: 0.5pt + black)
show heading: it => [ show heading: set text(font: heading_font, weight: "black")
#set text(font: heading_font, weight: "black")
#text(it)
#v(0.1em)
]
set heading(numbering: "1.") set heading(numbering: "1.")
show raw.where(block: true): txt => pad( show raw.where(block: true): txt => pad(
left: 0.5em, left: 0.5em,
@ -143,8 +139,8 @@
#set text(size: 8pt, fill: luma(80)) #set text(size: 8pt, fill: luma(80))
#columns(3)[ #columns(3)[
#align(left)[ #align(left)[
//© ©
#author_string(authors: authors), #author_string(authors: authors)
#datetime.today().year() #datetime.today().year()
] ]
#colbreak() #colbreak()
@ -160,7 +156,7 @@
] ]
], ],
) )
set list(indent: 5pt, body-indent: 5pt, marker: ("▪", "‣")) set list(indent: 5pt, body-indent: 5pt)
set enum(indent: 5pt, body-indent: 5pt) set enum(indent: 5pt, body-indent: 5pt)
// Configure paragraph properties. // Configure paragraph properties.