diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/gen/end.html | 2 | ||||
| -rw-r--r-- | docs/gen/start.m4 | 8 | ||||
| -rw-r--r-- | docs/gen/style.css | 45 | ||||
| -rw-r--r-- | docs/readme.md | 5 |
4 files changed, 60 insertions, 0 deletions
diff --git a/docs/gen/end.html b/docs/gen/end.html new file mode 100644 index 0000000..308b1d0 --- /dev/null +++ b/docs/gen/end.html @@ -0,0 +1,2 @@ +</body> +</html> diff --git a/docs/gen/start.m4 b/docs/gen/start.m4 new file mode 100644 index 0000000..f714588 --- /dev/null +++ b/docs/gen/start.m4 @@ -0,0 +1,8 @@ +<!DOCTYPE html> +<html> +<link> + <meta charset='utf-8'> + <style>include(`style.css')</style> + <script defer src="./gen/paged.polyfill.js"></script> +</head> +<body> 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; + } +} diff --git a/docs/readme.md b/docs/readme.md new file mode 100644 index 0000000..720672c --- /dev/null +++ b/docs/readme.md @@ -0,0 +1,5 @@ +# docs + +this folder contains project documentation in markdown format. these documents +can be compiled to html using the makefile in this folder. + |