Common.css: Difference between revisions

Revision as of 21:41, 23 November 2018

/* CSS placed here will be applied to all skins */


#coolMenu,
#coolMenu ul {
    list-style: none;
}
#coolMenu {
    float: left;

}
#coolMenu > li {
    float: left;

}
#coolMenu li a {
display: block;
    height: 2em;
    line-height: 2em;
    text-decoration: none;
    padding:10px 12px 10px 12px;
   transition: margin-left 4s, color 1s;
}
#coolMenu ul {
    position: absolute;
    display: none;
    z-index: 999;
}
#coolMenu ul li a {
    width: 80px;
}
#coolMenu li:hover ul {
    display: block;
}

/* Main Menu */
#coolMenu {
    font-family: Arial;
    font-size: 12px;
    background: #efefef;
}
#coolMenu > li > a {
    color: #222;
    font-weight: 600;
}
#coolMenu > li:hover > a {
    background: #eeffee;
    color: #000;
}
 
/* Submenu
------------------------------------------*/
#coolMenu ul {
    background: #eeffee;
   margin-top:-2px;
}
#coolMenu ul li a {
    color: #000;
    display:block;
    padding:8px;
}
#coolMenu ul li:hover a {
    background: #daffea;
transition: .8s background-color;
transition-property: opacity, left, top, height;
  transition-duration: 3s, 5s;
}


/* experimental end */

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 */