diff options
| -rw-r--r-- | src/doc/rust.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rust.css b/src/doc/rust.css index 9c1b3724d8d..262db5673e8 100644 --- a/src/doc/rust.css +++ b/src/doc/rust.css @@ -159,7 +159,7 @@ em { footer { border-top: 1px solid #ddd; - font-size: 14.3px; + font-size: 14px; font-style: italic; padding-top: 5px; margin-top: 3em; |
