Common.css: Difference between revisions

Revision as of 14:03, 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 */