diff options
Diffstat (limited to 'documentation')
-rw-r--r-- | documentation/dev-manual/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/documentation/dev-manual/style.css b/documentation/dev-manual/style.css index 6d00aba1f0..817910db0f 100644 --- a/documentation/dev-manual/style.css +++ b/documentation/dev-manual/style.css | |||
@@ -967,7 +967,7 @@ table { | |||
967 | } | 967 | } |
968 | 968 | ||
969 | .footnote { | 969 | .footnote { |
970 | font-size: 8pt; | 970 | font-size: small; |
971 | color: #555; | 971 | color: #333; |
972 | } | 972 | } |
973 | 973 | ||