diff --git a/docs/user/book.css b/docs/user/book.css
index f36943c06e..720e30b0e4 100644
--- a/docs/user/book.css
+++ b/docs/user/book.css
@@ -350,7 +350,7 @@ div.contents hr {
 	display: none;
 }
 
-div.contents ol,ul {
+div.contents ul {
 	list-style: none;
 }