summaryrefslogtreecommitdiffstats
path: root/documentation/dev-manual
diff options
context:
space:
mode:
Diffstat (limited to 'documentation/dev-manual')
-rw-r--r--documentation/dev-manual/style.css7
1 files changed, 6 insertions, 1 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css
index 65b83e2220..6d00aba1f0 100644
--- a/documentation/dev-manual/style.css
+++ b/documentation/dev-manual/style.css
@@ -435,7 +435,6 @@ b.keycap,
435 font-family: Courier, monospace; 435 font-family: Courier, monospace;
436} 436}
437 437
438
439div.navheader, div.heading{ 438div.navheader, div.heading{
440 position: absolute; 439 position: absolute;
441 left: 0em; 440 left: 0em;
@@ -966,3 +965,9 @@ table {
966 color: #fff; 965 color: #fff;
967 text-decoration: underline; 966 text-decoration: underline;
968} 967}
968
969.footnote {
970 font-size: 8pt;
971 color: #555;
972}
973