diff options
| author | bors <bors@rust-lang.org> | 2016-09-23 17:00:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-23 17:00:28 -0700 |
| commit | 5a71fb35fd0b45f6352a7355a699fe22c4e14634 (patch) | |
| tree | 1b83f4c699285fd3f06f81e0e54eaf99c21fe478 /src/doc/rust.css | |
| parent | ee959a8cbe8d2931546248ac61f278e38ae8bc68 (diff) | |
| parent | f342ece6d47d4fad07d3306ce0210a9927cb9b86 (diff) | |
| download | rust-5a71fb35fd0b45f6352a7355a699fe22c4e14634.tar.gz rust-5a71fb35fd0b45f6352a7355a699fe22c4e14634.zip | |
Auto merge of #36684 - GuillaumeGomez:rollup, r=GuillaumeGomez
Rollup of 7 pull requests - Successful merges: #36018, #36498, #36500, #36559, #36566, #36578, #36664 - Failed merges:
Diffstat (limited to 'src/doc/rust.css')
| -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; |