diff options
Diffstat (limited to 'guide/updating.html')
-rw-r--r-- | guide/updating.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/guide/updating.html b/guide/updating.html index 8e3f41b..af3e489 100644 --- a/guide/updating.html +++ b/guide/updating.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> |