From 95438537822293c42598dafed15f4b328142e3e6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20P=C3=A4per?= Date: Thu, 15 Jun 2017 16:52:49 +0200 Subject: [PATCH 1/3] add markers for definition in left margin --- 0.27/index.html | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/0.27/index.html b/0.27/index.html index 9bbd366..4a10e9c 100644 --- a/0.27/index.html +++ b/0.27/index.html @@ -18,6 +18,17 @@ 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 +43,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; } From 0ede1c766ce07578e2d9b10c86e5acc31f513a12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20P=C3=A4per?= Date: Thu, 15 Jun 2017 16:54:34 +0200 Subject: [PATCH 2/3] Create index.html --- 0.27/index.html | 1 - 1 file changed, 1 deletion(-) diff --git a/0.27/index.html b/0.27/index.html index 4a10e9c..4d86994 100644 --- a/0.27/index.html +++ b/0.27/index.html @@ -18,7 +18,6 @@ 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); From 9e69b0e14a89aa56b387f7c0d841d3b9124f5446 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20P=C3=A4per?= Date: Thu, 15 Jun 2017 16:56:50 +0200 Subject: [PATCH 3/3] also edit template why is there no common external .css file? --- template.html | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) 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; }