doc: use a pointer cursor only if js is active
[charm.git] / doc / assets / manual.css
index faab5d9edd1699e7d578b99e72fa9e912be9bcd4..37b548962d58ce71de2c44c677e5f01f2d0d4333 100644 (file)
@@ -66,7 +66,6 @@ div.navigation {
                border-bottom: 1px #555555 solid;
                background: #dfdfdf;
                font-size: 80%;
-               cursor: pointer;
 }
 
 ul.manual-toc {