diff options
Diffstat (limited to 'guide/edoc.html')
| -rw-r--r-- | guide/edoc.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/guide/edoc.html b/guide/edoc.html index 73f2c38..26e7744 100644 --- a/guide/edoc.html +++ b/guide/edoc.html @@ -13,6 +13,7 @@ main{margin-top:2em;text-align:justify} main h2, main h3{margin-top:2em} a{color:#d9230f;text-decoration:none} a:hover{text-decoration:underline} +a.xref{display:none} h1, h2, h3{font-weight:normal} div.navfooter{margin-bottom:1em} --></style> |