diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 23:30:42 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 23:30:42 -0700 |
| commit | 471d331ba58271bdbf067c99a5f1504361af7ff6 (patch) | |
| tree | 768f4e835b5175b5cb42c8e6d063e15ab2f0316e | |
| parent | 630d363d59a1ace243fea779013fac74d170e15b (diff) | |
Color scheme tweak in spec.
| -rw-r--r-- | template.html | 16 |
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; } |