diff options
Diffstat (limited to 'resources/style.css')
-rw-r--r-- | resources/style.css | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/resources/style.css b/resources/style.css index 54b66f43fe..3b753b563d 100644 --- a/resources/style.css +++ b/resources/style.css @@ -17,11 +17,10 @@ header .date { } pre { - margin-left: 3em; - margin-right: 3em; + margin-left: 1em; + margin-right: 1em; padding: 1em; background-color: #EEE; - border: 1px solid #333; } pre.math { @@ -43,8 +42,8 @@ code { /* examples */ ol[type="1"] { list-style-type: none; - margin-left: 3em; - margin-right: 3em; + margin-left: 1em; + margin-right: 1em; padding: 0; } @@ -52,11 +51,11 @@ ol[type="1"] > li { margin-top: 1em; padding: 1em; background-color: #E5ECF9; - border: 1px dashed black; } ol[type="1"] > li:before { content: "Example "; + font-weight:bold; } #popoutTOC { @@ -73,4 +72,4 @@ ol[type="1"] > li:before { #popoutTOC .links { display: none; -}
\ No newline at end of file +} |