Bureaucrats, Check users, Interface administrators, Push subscription managers, Suppressors, Administrators, upwizcampeditors
1,718
edits
MediaWiki:Common.css: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
| Line 34: | Line 34: | ||
font-family: "Star Jedi"; | font-family: "Star Jedi"; | ||
src: url("/fonts/Starjedi.ttf") format('truetype') | src: url("/fonts/Starjedi.ttf") format('truetype') | ||
} | |||
@font-face { | |||
font-family: "Android"; | |||
src: url("/fonts/Android/Android.ttf") format('truetype'); | |||
font-style: normal; | |||
} | |||
@font-face { | |||
font-family: "Android"; | |||
src: url("/fonts/Android/Android Italic.ttf") format('truetype'); | |||
font-style: italic; | |||
} | |||
@font-face { | |||
font-family: "Android Hollow"; | |||
src: url("/fonts/Android/Android Hollow.ttf") format('truetype'); | |||
} | } | ||