Common.css: Difference between revisions
An Avatar.Global Resource
mNo edit summary |
mNo edit summary |
||
Line 1: | Line 1: | ||
/* CSS placed here will be applied to all skins */ | /* CSS placed here will be applied to all skins */ | ||
div.topnav ul { | div.topnav ul { | ||
list-style-type: none; | list-style-type: none; |
Revision as of 19:57, 23 November 2018
/* CSS placed here will be applied to all skins */ div.topnav ul { list-style-type: none; margin: 0; margin-bottom:28px; padding: 0; overflow: hidden; background-color: #fffafa; border-bottom: 1px solid #888 } div.topnav li { float: left; ; } div.topnav li a { display: block; color: #222; text-align: center; padding: 14px 16px; text-decoration: none; transition: .8s background-color; } div.nav ul { list-style-type: none; margin: 0; margin-bottom:28px; padding: 0; overflow: hidden; background-color: #fafffa; border-bottom: 1px solid #888 } div.nav li { float: left; ; } div.nav li a { display: block; color: #222; text-align: center; padding: 14px 16px; text-decoration: none; transition: .8s background-color; } div.nav ul a:hover:not(.active) { background-color: #f3fff3; } div.nav ul .active { background-color:#fafafa; } div.toc-mobile h2 { display:none } div.toc { display:none; } div.definition, div.definition p:first-of-type { padding: 15px; border: 1px solid #eee; } @import url("https://fonts.googleapis.com/css?family=Noto+Sans|Noto+Serif") body {font-family: "Noto Sans", sans-serif} /* changes the default font used for MediaWiki to Noto Sans (does not include headings or monospaced text) */ div#content h1, div#content h2 {font-family: "Noto Serif", serif} /* changes the default font used for MediaWiki headings to Noto Serif */