diff --git a/src/css/doc.css b/src/css/doc.css index 69232941..20ad6fff 100644 --- a/src/css/doc.css +++ b/src/css/doc.css @@ -578,6 +578,14 @@ body { padding: 0 0 0 2rem; } +.doc ol { + list-style-type: decimal; +} + +.doc ul { + list-style-type: disc; +} + .doc ol.arabic { list-style-type: decimal; }