From 471d331ba58271bdbf067c99a5f1504361af7ff6 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 13 Aug 2014 23:30:42 -0700
Subject: Color scheme tweak in spec.

---
 template.html | 16 +++++++++++-----
 1 file changed, 11 insertions(+), 5 deletions(-)

(limited to 'template.html')

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;
 }
-- 
cgit v1.2.3