diff options
| -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 | ||