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.nav ul { | div.nav ul { | ||
| Line 45: | Line 46: | ||
p:first-of-type | div.definition p:first-of-type | ||
{ | { | ||
padding: 15px; | padding: 15px; | ||
Revision as of 13:22, 21 November 2018
/* CSS placed here will be applied to all skins */
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 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 */
