aboutsummaryrefslogtreecommitdiff
path: root/tools/template.html
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-10-19 14:31:12 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-10-19 14:35:40 -0700
commitf564b1ab8e6c8fe27c928fca6da7334fc6f69aa9 (patch)
tree2cef0015e3c15f6ad998871ffba2622b72c6aa06 /tools/template.html
parent21fe6105bbfa2012899b4f68fa208793d6f35b1f (diff)
Use 'display:inline-block' rather than floats for side-by-side.
This works when printed too.
Diffstat (limited to 'tools/template.html')
-rw-r--r--tools/template.html15
1 files changed, 11 insertions, 4 deletions
diff --git a/tools/template.html b/tools/template.html
index 39a196d..fd2e56b 100644
--- a/tools/template.html
+++ b/tools/template.html
@@ -39,9 +39,14 @@ pre {
}
code { font-family: monospace; background-color: #D3E1E4; }
pre > code { background-color: transparent; }
-div.example > pre { float:left; width: 48%; }
-div.example > pre:nth-child(2) { clear:left; background-color: #D3E1E4; }
-div.example > pre:nth-child(3) { clear:right; background-color: #C9CaCE; }
+.example { font-size: 0; /* hack to get width:50% to work on inline-block */
+ padding-bottom: 6pt; }
+.column pre { font-size: 11pt; padding-left: 6pt; padding-right: 6pt;
+ padding-top: 2pt; padding-bottom: 2pt; }
+div.examplenum { font-size: 11pt; text-align: left; }
+div.column { display: inline-block; width: 50%; vertical-align: top; }
+div.example > div:nth-child(2) { clear:left; background-color: #D3E1E4; }
+div.example > div:nth-child(3) { clear:right; background-color: #C9CaCE; }
#watermark {
position:fixed;
bottom:0px;
@@ -54,7 +59,6 @@ div.example > pre:nth-child(3) { clear:right; background-color: #C9CaCE; }
color: white;
}
#watermark a { color: white; }
-div.examplenum { font-size: 82%; text-align: left; }
a.dingus { color: red; cursor: pointer; }
a.footnoteRef > sup:before {
content: "[";
@@ -76,6 +80,9 @@ a.footnoteRef > sup {
line-height: 1.2;
font-size: 10pt;
}
+ .column pre { font-size: 9pt; }
+ div.examplenum { font-size: 9pt; }
+ a.dingus { display: none; }
}
</style>
<script src="//code.jquery.com/jquery-1.11.0.min.js"></script>