diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-09 13:37:13 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-09 13:37:13 -0800 |
commit | f1bbd869102e185b4e9178948f80c1ac66a94df7 (patch) | |
tree | 5d2f7ad813a1f6e78c5403a80d3300e266b69648 /template.html | |
parent | 58ebff02fd350f1b73d62caf0c1e976b4576e2ab (diff) | |
parent | 014d2d0699d8875e766afcf01580c4a2ea093131 (diff) |
Merge branch 'master' of github.com:jgm/CommonMark
Diffstat (limited to 'template.html')
-rw-r--r-- | template.html | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/template.html b/template.html index bc5ba26..f9723c6 100644 --- a/template.html +++ b/template.html @@ -17,13 +17,14 @@ h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top h2 { font-size: 120%; font-weight: bold; } h3 { font-size: 110%; font-weight: bold; } h4 { font-size: 100%; font-weight: bold; } +a.definition { font-weight: bold; } span.space { position: relative; } span.space:after { - content: ""; + content: "ยท"; position: absolute; /* create a mark that indicates a space (trick from D. Greenspan) */ - top: 3px; bottom: 3px; left: 1px; right: 1px; - border: 1px solid #999; + top: 0px; bottom: 7px; left: 1px; right: 1px; + color: #AAA; } div.example { overflow: hidden; } p { text-align: justify; } @@ -43,9 +44,6 @@ div.example > pre.markdown { clear:left; } pre.tree { font-weight: bold; color: #777; } pre.markdown { background-color: #D3E1E4; } pre.html { background-color: #C9CaCE; } -pre.html span.space:after { - border: 1px solid #666; -} #watermark { position:fixed; bottom:0px; |