aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/style.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/style.css b/doc/style.css
index c8b89de..b042058 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -133,7 +133,7 @@ h6 {
position: absolute;
right: 0;
top: 0;
- padding: 0.5em;
+ padding: 0.125em;
font-size: x-small;
border-style: hidden;
}