User:Melroch/monobook.css

From Wikipedia, the free encyclopedia
Note: After saving, you have to bypass your browser's cache to see the changes. Google Chrome, Firefox, Microsoft Edge and Safari: Hold down the ⇧ Shift key and click the Reload toolbar button. For details and instructions about other browsers, see Wikipedia:Bypass your cache.
body { font-family: "Noto Serif", "Noto Sans", "DejaVu Serif", "Charis SIL", "DejaVu Sans", "Arial Unicode MS", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode", serif;
   font-size: 9pt; 
 /* text-align: justify; */
}

#globalWrapper { font-size: 10pt; }

h1, h2, h3, h4, h5, h6, h7 { font-family: "Noto Sans" "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", sans-serif ! important;
}

sup { vertical-align: 50%;
  font-size 70%;
}

sub { vertical-align: -25%;
  font-size 70%;
}

a:link, a:visited, a:active, a:hover {
  text-decoration: underline ! important;
}

a:visited { color: #a00 }

a.new, #p-personal a.new {
	color: #FF9900;
}
a.new:visited, #p-personal a.new:visited {
	color: #FF33FF;
}

span.graphemic:before { content: "\2329"}

span.graphemic:after { content: "\232A"}

th { font-family: "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", sans-serif; 
text-align: left;
}

caption { font-family: "Noto Sans", "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", "DejaVu Sans Mono", sans-serif;
/* font-weight: bold; */
font-size: 10pt ! important;
}

textarea#wpTextbox1 { font-family: "Noto Mono", "Bitstream Vera Sans Mono", "DejaVu sans Mono", Junicode; 
font-size: 11pt ! important;
}

textarea, input { font-family: "Noto Mono", "Bitstream Vera Sans", "DejaVu sans", Junicode; 
font-size: 8pt ! important;
}


div.editsection { font-size: smaller; }

.IPA { font-family: "Noto Sans", "Noto Serif" !important; /*, "Charis SIL", "DejaVu Serif", "DejaVu Sans", "Arial Unicode MS", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode"; */
   font-size: 12pt ! important;
}

.Unicode { font-family: "Noto Sans", "Charis SIL"; font-size: 12pt ! important; }

.MUFI { font-family: Junicode, Cardo;
}


.sans { font-family: "Noto Sans", "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", sans-serif;
}

.red {color: #a00;}

.smallcaps {font-variant: small-caps;}


/* save ink and paper with very small fonts */
@media print {
    #footer,
    #content,
    body { font-size: 8pt !important;
        margin 1in;
    }

    .IPA { font-family: "Noto Serif", "Noto Sans", "Charis SIL"; 
          font-size: 8pt !important; 
    }

    h1 { font-size: 16pt;
        page-break-after: avoid;
    }
    h2 { font-size: 14pt;
        page-break-after: avoid;
    }
    h3 { font-size: 12pt;
        page-break-after: avoid;
    }
    h4 { font-size: 10pt;
        page-break-after: avoid;
    }
    h5 { font-size: 8pt;
        page-break-after: avoid;
    }
    h6 { 
        font-size: 8pt;
        font-weight: normal;
        page-break-after: avoid;
    }
   .toc {display: none}
   a:link, a:visited, a:active, a:hover {
        text-decoration: underline ! important;
    }

}