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; }