diff options
Diffstat (limited to 'resources/style.css')
| -rw-r--r-- | resources/style.css | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/resources/style.css b/resources/style.css index 833e76815e..fae6e5155a 100644 --- a/resources/style.css +++ b/resources/style.css @@ -36,7 +36,9 @@ code { /* examples */ ol[type="1"] { list-style-type: none; - margin-left: 0; + margin-left: 3em; + margin-right: 3em; + padding: 0; } ol[type="1"] li { @@ -48,4 +50,20 @@ ol[type="1"] li { ol[type="1"] li:before { content: "Example "; +} + +#popoutTOC { + position: fixed; + top: 0; + left: 0; + margin: 0; + padding: 0; +} + +#popoutTOC .head { + +} + +#popoutTOC .links { + display: none; }
\ No newline at end of file |