diff options
-rw-r--r-- | resources/style.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/resources/style.css b/resources/style.css index 04e953658e..b0230de748 100644 --- a/resources/style.css +++ b/resources/style.css @@ -26,3 +26,11 @@ pre { code { background-color: #EEE; } + +ol[type="1"] { + list-style-type: none; +} + +ol[type="1"] li:before { + content: "Example "; +}
\ No newline at end of file |