diff options
Diffstat (limited to 'docs/gen/style.css')
-rw-r--r-- | docs/gen/style.css | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/docs/gen/style.css b/docs/gen/style.css new file mode 100644 index 0000000..74795e4 --- /dev/null +++ b/docs/gen/style.css @@ -0,0 +1,45 @@ +@media print { + @page { + size: A4; + margin: 1in; + + @bottom-center { + content: counter(page); + } + } + html, body { + width: 100%; + margin: 0; + padding: 0; + overflow: visible; + + font-family: "TeX Gyre Schola"; + font-size: 11pt; + } + + pre, code { + font-family: "JetBrainsMono Nerd Font"; + font-size: 9pt; + } + + figure { + text-align: center; + } + + figcaption { + text-align: justify; + text-justify: auto; + } + + table { + border-collapse: collapse; + } + + th, td { + padding: 2pt 6pt; + } + + th { + border-bottom: 1pt solid black; + } +} |