summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-08-13 23:30:42 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-08-13 23:30:42 -0700
commit471d331ba58271bdbf067c99a5f1504361af7ff6 (patch)
tree768f4e835b5175b5cb42c8e6d063e15ab2f0316e
parent630d363d59a1ace243fea779013fac74d170e15b (diff)
Color scheme tweak in spec.
-rw-r--r--template.html16
1 files changed, 11 insertions, 5 deletions
diff --git a/template.html b/template.html
index 5416a07..fb7fbe4 100644
--- a/template.html
+++ b/template.html
@@ -4,8 +4,14 @@
<meta charset="UTF-8">
<title>$title$</title>
<style type="text/css">
-body { font-family: arial, sans-serif; line-height: 1.4em; max-width: 52em;
- margin: 3em; }
+ body { font-family: Helvetica, arial, freesans, clean, sans-serif;
+ line-height: 1.4;
+ max-width: 48em;
+ margin: auto;
+ color: #333333;
+ background-color: #fff;
+ font-size: 13pt;
+ }
div#TOC ul { list-style: none; }
h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top: 0.5em; }
h2 { font-size: 120%; font-weight: bold; }
@@ -30,12 +36,12 @@ pre {
white-space: -o-pre-wrap; /* Opera 7 */
word-wrap: break-word; /* Internet Explorer 5.5+ */
}
-code { font-size: 120%; font-family: monospace; }
+code { font-family: monospace; }
div.example > pre { float:left; width: 48%; }
div.example > pre.markdown { clear:left; }
pre.tree { font-weight: bold; color: #777; }
-pre.markdown { background-color: #E3DEC1;}
-pre.html { background-color: #E89F65; }
+pre.markdown { background-color: #D3E1E4; }
+pre.html { background-color: #C9CaCE; }
pre.html span.space:after {
border: 1px solid #666;
}