summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r--documentation/dev-manual/style.css2
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 67184972e1..23c8e74c1e 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -110,7 +110,7 @@ h5 {
110h6 { 110h6 {
111 margin: 1em 0em 0em 0em; 111 margin: 1em 0em 0em 0em;
112 padding: 1em 0em 0em 0em; 112 padding: 1em 0em 0em 0em;
113 font-size: 80%; 113 font-size: 110%;
114 font-weight: bold; 114 font-weight: bold;
115} 115}
116 116