diff options
Diffstat (limited to 'resources')
-rw-r--r-- | resources/style.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/resources/style.css b/resources/style.css index b0230de748..9ef99126af 100644 --- a/resources/style.css +++ b/resources/style.css @@ -18,6 +18,7 @@ header .date { pre { margin-left: 3em; + margin-right: 3em; padding: 1em; background-color: #EEE; border: 1px solid #333; @@ -27,7 +28,19 @@ code { background-color: #EEE; } +code > span { + font-weight: normal !important; +} + +code { + padding-left: 0.1em; + padding-right: 0.1em; +} + +/* examples */ ol[type="1"] { + background-color: #E5ECF9; + border: 1px dashed black; list-style-type: none; } |