diff --git a/0.27/index.html b/0.27/index.html
index 9bbd366..4d86994 100644
--- a/0.27/index.html
+++ b/0.27/index.html
@@ -18,6 +18,16 @@
h3 { font-size: 110%; font-weight: bold; }
h4 { font-size: 100%; font-weight: bold; }
a.definition { font-weight: bold; }
+@media (min-width: 60rem) /* body is 48em wide */ {
+ a[id]::before {
+ content: "#" attr(id);
+ font-weight: normal;
+ color: #555555;
+ width: 10em;
+ position: absolute;
+ left: 1em;
+ }
+}
span.space { position: relative; }
span.number:after { content: " " }
span.space:after {
@@ -32,11 +42,11 @@
pre { padding: 0.5em; margin-left: 0; margin-right: 0; margin-top: 0.2em;
margin-bottom: 0.5em; font-size: 88%; }
pre {
- white-space: pre-wrap; /* css-3 */
white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
white-space: -pre-wrap; /* Opera 4-6 */
white-space: -o-pre-wrap; /* Opera 7 */
word-wrap: break-word; /* Internet Explorer 5.5+ */
+ white-space: pre-wrap; /* css-3 */
}
code { font-family: monospace; background-color: #D3E1E4; }
pre > code { background-color: transparent; }
diff --git a/template.html b/template.html
index 0cedcb6..810e0bb 100644
--- a/template.html
+++ b/template.html
@@ -18,6 +18,16 @@
h3 { font-size: 110%; font-weight: bold; }
h4 { font-size: 100%; font-weight: bold; }
a.definition { font-weight: bold; }
+@media (min-width: 60rem) /* body is 48em wide */ {
+ a[id]::before {
+ content: "#" attr(id);
+ font-weight: normal;
+ color: #555555;
+ width: 10em;
+ position: absolute;
+ left: 1em;
+ }
+}
span.space { position: relative; }
span.space:after {
content: "·";
@@ -31,11 +41,11 @@
pre { padding: 0.5em; margin-left: 0; margin-right: 0; margin-top: 0.2em;
margin-bottom: 0.5em; font-size: 88%; }
pre {
- white-space: pre-wrap; /* css-3 */
white-space: -moz-pre-wrap; /* Mozilla, since 1999 */
white-space: -pre-wrap; /* Opera 4-6 */
white-space: -o-pre-wrap; /* Opera 7 */
word-wrap: break-word; /* Internet Explorer 5.5+ */
+ white-space: pre-wrap; /* css-3 */
}
code { font-family: monospace; background-color: #D3E1E4; }
pre > code { background-color: transparent; }