User:BenctPhilip/monobook.css

From IBWiki
Jump to navigationJump to search

Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
* { font-family: "DejaVu Serif", "DejaVu Sans", "Arial Unicode MS", "Doulos SIL", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode", serif;
  font-size: 10pt;
 /* text-align: justify; */
}

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

sup { vertical-align: 50% }

sub { vertical-align: -25% }

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: "DejaVu Sans", "Arial Unicode MS", "Microsoft Sans Serif", "DejaVu Sans Mono", sans-serif;
/* font-weight: bold; */
font-size: 10pt ! important;
}

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

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


div.editsection { font-size: smaller; }

.IPA, .XR { font-family: "DejaVu Serif", "DejaVu Sans", "Arial Unicode MS", "Doulos SIL", Thryomanes, Gentium, GentiumAlt, Code2000, "Microsoft Sans Serif","Lucida Sans Unicode";
}

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


.sans { font-family: "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;
    }
    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;
    }

}