summaryrefslogtreecommitdiff
path: root/template.html
diff options
context:
space:
mode:
Diffstat (limited to 'template.html')
-rw-r--r--template.html10
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;