summaryrefslogtreecommitdiff
path: root/web.css
diff options
context:
space:
mode:
Diffstat (limited to 'web.css')
-rw-r--r--web.css28
1 files changed, 27 insertions, 1 deletions
diff --git a/web.css b/web.css
index 0d2fdf3..50d78a1 100644
--- a/web.css
+++ b/web.css
@@ -20,10 +20,36 @@
}
}
+#header-logo {font-size: 1.2em;}
+#header-logo code {background-color: #fff; color: #333;}
+
h1
{
font-weight: normal;
font-size: 2em;
line-height: 1.4em;
- margin: 1.6em 0 .6em 0;
+ margin: 1.6em 0 1em 0;
+}
+
+h1 code {font-size: 1em;}
+
+h2
+{
+ font-weight: normal;
+ font-size: 1.556em;
+ line-height: 1.4em;
+ margin: 1.6em 0 1em 0;
+}
+
+/* This one is used for FAQ questions. A hack to avoid separate style file. */
+h3
+{
+ font-weight: normal;
+ font-size: 1.223em;
+ line-height: 1.4em;
+ letter-spacing: 0;
+ margin: 2.4em 0 1em 0;
+
+ padding-left: .4em;
+ border-left: 3px solid #ccc;
}