diff options
author | Simon Ochsenreither <simon@ochsenreither.de> | 2013-02-22 04:17:40 +0100 |
---|---|---|
committer | Simon Ochsenreither <simon@ochsenreither.de> | 2013-02-22 04:22:57 +0100 |
commit | 34eb920174c529ed6c237d095311f8c3536ffcc1 (patch) | |
tree | 7d2b1e1f4866f1f505d6b4d764d33ee0ef46f272 | |
parent | 2311e3498bea8d149cc38a6d3585de245134add9 (diff) | |
download | scala-34eb920174c529ed6c237d095311f8c3536ffcc1.tar.gz scala-34eb920174c529ed6c237d095311f8c3536ffcc1.tar.bz2 scala-34eb920174c529ed6c237d095311f8c3536ffcc1.zip |
Fix fonts to enable both old-style and lining numerals
CSS is adapted so thet old-style numerals are only used in the
text body, not headings or lists.
-rw-r--r-- | resources/Heuristica-Bold.woff | bin | 109784 -> 106188 bytes | |||
-rw-r--r-- | resources/Heuristica-BoldItalic.woff | bin | 108416 -> 104316 bytes | |||
-rw-r--r-- | resources/Heuristica-Regular.woff | bin | 146792 -> 141416 bytes | |||
-rw-r--r-- | resources/Heuristica-RegularItalic.woff | bin | 108852 -> 104700 bytes | |||
-rw-r--r-- | resources/style.css | 7 |
5 files changed, 7 insertions, 0 deletions
diff --git a/resources/Heuristica-Bold.woff b/resources/Heuristica-Bold.woff Binary files differindex 570c956738..904579683d 100644 --- a/resources/Heuristica-Bold.woff +++ b/resources/Heuristica-Bold.woff diff --git a/resources/Heuristica-BoldItalic.woff b/resources/Heuristica-BoldItalic.woff Binary files differindex f16d85a365..a3c5234453 100644 --- a/resources/Heuristica-BoldItalic.woff +++ b/resources/Heuristica-BoldItalic.woff diff --git a/resources/Heuristica-Regular.woff b/resources/Heuristica-Regular.woff Binary files differindex 7c1ed46798..f5c1f8b2db 100644 --- a/resources/Heuristica-Regular.woff +++ b/resources/Heuristica-Regular.woff diff --git a/resources/Heuristica-RegularItalic.woff b/resources/Heuristica-RegularItalic.woff Binary files differindex 9f89dec97f..d2c8664593 100644 --- a/resources/Heuristica-RegularItalic.woff +++ b/resources/Heuristica-RegularItalic.woff diff --git a/resources/style.css b/resources/style.css index 3b753b563d..ab4ca9d45b 100644 --- a/resources/style.css +++ b/resources/style.css @@ -16,6 +16,13 @@ header .date { color: #111; } +p { + -moz-font-feature-settings: "onum"; + -ms-font-feature-settings: "onum"; + -webkit-font-feature-settings: "onum"; + font-feature-settings: "onum"; +} + pre { margin-left: 1em; margin-right: 1em; |