diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-08 21:01:18 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-08 21:01:45 -0800 |
| commit | ac1c9301f00bdb6cceaf1c49e18f96bab5ca9396 (patch) | |
| tree | 71dd894b43545aae8e747fe05cf45bdfdf7e8a02 /template.html | |
| parent | faacf7065f0303a5b0d5c241e06bcfd8c827651c (diff) | |
template.html changes needed to make visible spaces work.
Diffstat (limited to 'template.html')
| -rw-r--r-- | template.html | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/template.html b/template.html index 9ae92f8..f9723c6 100644 --- a/template.html +++ b/template.html @@ -20,11 +20,11 @@ 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; } @@ -44,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; |