summaryrefslogtreecommitdiff
path: root/doc/arch.css
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2018-12-30 18:04:23 +0200
committerLars Wirzenius <liw@liw.fi>2018-12-30 18:04:23 +0200
commit58c8454cd01fc8ec5c88b51945f077a18598b976 (patch)
tree7152d70d59d670d2f1eb70a41632a4436965218d /doc/arch.css
parent16f543ca60c4adeaf5990892e90f1f74d5e3b1da (diff)
downloadeffi-reg-58c8454cd01fc8ec5c88b51945f077a18598b976.tar.gz
Change: Rename arch/ to doc/
Diffstat (limited to 'doc/arch.css')
-rw-r--r--doc/arch.css15
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/arch.css b/doc/arch.css
new file mode 100644
index 0000000..25720b2
--- /dev/null
+++ b/doc/arch.css
@@ -0,0 +1,15 @@
+html {
+ font-family: serif;
+ margin-left: 4em;
+ margin-right: 4em;
+}
+
+h1, h2, h3 {
+ font-family: sans-serif;
+ margin-top: 2em;
+}
+
+
+h1 { font-size: 3em; }
+h2 { font-size: 2em; }
+h3 { font-size: 1em; }