--- doc/tmpl/css/main.css 2017/06/07 10:22:50 3281 +++ doc/tmpl/css/main.css 2017/06/07 12:34:29 3282 @@ -502,11 +502,15 @@ transition: background-color 0.25s linear; } -.no-touch aside > div.toc > ul > li > ul > li:hover, -.touch aside > div.toc > ul > li > ul > li:focus, -.touch aside > div.toc > ul > li > ul > li:active +.no-touch aside > div.toc > ul > li > ul > li:before { + visibility:hidden; + content:url('../pix/disc.png'); + padding-right:6px; +} + +.no-touch aside > div.toc > ul > li > ul > li:hover:before { - list-style-type:disc; + visibility:visible; } aside > div.toc > div.buttons {