diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/dev-manual/style.css | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css index 65b83e2..6d00aba 100644 --- a/documentation/dev-manual/style.css +++ b/documentation/dev-manual/style.css @@ -435,7 +435,6 @@ b.keycap, font-family: Courier, monospace; } - div.navheader, div.heading{ position: absolute; left: 0em; @@ -966,3 +965,9 @@ table { color: #fff; text-decoration: underline; } + +.footnote { + font-size: 8pt; + color: #555; +} + |