diff options
| author | Simon Ochsenreither <simon@ochsenreither.de> | 2013-02-20 00:55:42 +0100 |
|---|---|---|
| committer | Simon Ochsenreither <simon@ochsenreither.de> | 2013-02-21 01:05:02 +0100 |
| commit | e7ade69a2769b04dca6c6d55122351faa154f969 (patch) | |
| tree | 58163d9cf429d7bc091ea663a4bd4a25985ad9fe /resources/fonts.css | |
| parent | a0a9c0c48c8e600de67e84f2ab2495d85bc29dd7 (diff) | |
| download | scala-e7ade69a2769b04dca6c6d55122351faa154f969.tar.gz scala-e7ade69a2769b04dca6c6d55122351faa154f969.tar.bz2 scala-e7ade69a2769b04dca6c6d55122351faa154f969.zip | |
Use the original type faces
- Utopia (alias Heuristica) for text
- Luxi Mono for code
Typography has been reworked and moved closer to the original.
Diffstat (limited to 'resources/fonts.css')
| -rw-r--r-- | resources/fonts.css | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/resources/fonts.css b/resources/fonts.css new file mode 100644 index 0000000000..a47d453f29 --- /dev/null +++ b/resources/fonts.css @@ -0,0 +1,57 @@ +@font-face { + font-family: 'Luxi Mono'; + src: local('Luxi Mono Regular'), + url('LuxiMono-Regular.woff') format('woff'); + font-weight: normal; + font-style: normal; +} +@font-face { + font-family: 'Luxi Mono'; + src: local('Luxi Mono Oblique'), + url('LuxiMono-BoldOblique.woff') format('woff'); + font-weight: normal; + font-style: oblique; +} +@font-face { + font-family: 'Luxi Mono'; + src: local('Luxi Mono Bold'), + url('LuxiMono-Bold.woff') format('woff'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'Luxi Mono'; + src: local('Luxi Mono Bold Oblique'), + url('LuxiMono-BoldOblique.woff') format('woff'); + font-weight: bold; + font-style: oblique; +} + +@font-face { + font-family: 'Heuristica'; + src: local('Heuristica Regular'), + url('Heuristica-Regular.woff') format('woff'); + font-weight: normal; + font-style: normal; +} +@font-face { + font-family: 'Heuristica'; + src: local('Heuristica Italic'), + url('Heuristica-RegularItalic.woff') format('woff'); + font-weight: normal; + font-style: italic; +} +@font-face { + font-family: 'Heuristica'; + src: local('Heuristica Bold'), + url('Heuristica-Bold.woff') format('woff'); + font-weight: bold; + font-style: normal; +} +@font-face { + font-family: 'Heuristica'; + src: local('Heuristica Bold Italic'), + url('Heuristica-BoldItalic.woff') format('woff'); + font-weight: bold; + font-style: italic; +} |