diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-11-20 12:58:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-20 12:58:26 +0100 |
| commit | 423137b7794710d61a44252d838fef5b837dfd88 (patch) | |
| tree | e05f4bd00b43b4d880c9125de06f0da11819ac42 /src/librustdoc/html/static/rustdoc.css | |
| parent | f50d6ea348c2dd7c2f76e35ecde6560d87bb98ec (diff) | |
| parent | ea9519bf16f0be137a814a49c9fbaf232ba49a43 (diff) | |
| download | rust-423137b7794710d61a44252d838fef5b837dfd88.tar.gz rust-423137b7794710d61a44252d838fef5b837dfd88.zip | |
Rollup merge of #65665 - tspiteri:italic-and-update-SourceCodePro, r=GuillaumeGomez
Update Source Code Pro and include italics Fixes #65502. A few notes: * As stated in #65502, this does increase the download size. * Since this PR changes the font set, I think docs.rs would have to be updated if this PR is merged. * The fonts have a double extension (.ttf.woff); this is to keep the names consistent with the upstream font release which does that to distinguish these from the .otf.woff files ([Source Code Pro otf renders poorly on older Windows system apps](https://github.com/adobe-fonts/source-code-pro/issues/25#issuecomment-9019600)).
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 64c858238db..6d2f6c7eda6 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -39,13 +39,19 @@ font-weight: 400; /* Avoid using locally installed font because bad versions are in circulation: * see https://github.com/rust-lang/rust/issues/24355 */ - src: url("SourceCodePro-Regular.woff") format('woff'); + src: url("SourceCodePro-Regular.ttf.woff") format('woff'); +} +@font-face { + font-family: 'Source Code Pro'; + font-style: italic; + font-weight: 400; + src: url("SourceCodePro-It.ttf.woff") format('woff'); } @font-face { font-family: 'Source Code Pro'; font-style: normal; font-weight: 600; - src: url("SourceCodePro-Semibold.woff") format('woff'); + src: url("SourceCodePro-Semibold.ttf.woff") format('woff'); } * { |