MediaWiki:Common.css: Difference between revisions

MediaWiki:Common.css (view source)

781 bytes removed , 22:07, 28 October 2019

fonts

Anonymous user

@@ Line 1: / Line 1: @@
 /* CSS placed here will be applied to all skins */
-@font-face {
-  font-family: "APL385 Unicode";
-  src: url("https://github.com/rikedyp/APLcourse/raw/master/assets/Apl385.eot"); /* IE9 Compat Modes */
-  src: local('APL385 Unicode'),
-    url("https://github.com/rikedyp/APLcourse/raw/master/assets/Apl385.eot?#iefix") format("embedded-opentype"), /* IE6-IE8 */
-    url("https://github.com/rikedyp/APLcourse/raw/master/assets/Apl385.otf") format("opentype"), /* Open Type Font */
-    url("https://github.com/rikedyp/APLcourse/raw/master/assets/Apl385.ttf") format("truetype"), /* Safari, Android, iOS */
-    url("https://github.com/rikedyp/APLcourse/raw/master/assets/Apl385.woff") format("woff"), /* Modern Browsers */
-    url("https://github.com/rikedyp/APLcourse/raw/master/assets/Apl385.woff2") format("woff2"); /* Modern Browsers */
-  font-weight: normal;
-  font-style: normal;
-}
 .c td {
    text-align: center;
 }
 .apl{
-   font-family: 'APL385 Unicode',monospace;
+   font-family: 'APL385 Unicode','DejaVu Sans Mono','Iosevka','PragmataPro','Menlo',monospace;
    line-height: 2.4ex;
    white-space: pre-wrap;