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