doc: use a pointer cursor only if js is active
[charm.git] / doc / assets / manual.css
index 382804fcc9066579fbbc7057998071bc7dc4b92c..37b548962d58ce71de2c44c677e5f01f2d0d4333 100644 (file)
@@ -44,7 +44,7 @@ code, pre { font-family: "Courier New" Courier monospace; }
 
 html {
                background: #ffffff;
-               background: url(navbarbkgd.png) repeat;
+               background: url(hatchbkgd.png) repeat;
 }
 
 body {
@@ -66,7 +66,6 @@ div.navigation {
                border-bottom: 1px #555555 solid;
                background: #dfdfdf;
                font-size: 80%;
-               cursor: pointer;
 }
 
 ul.manual-toc {