/* Import Dotsies custom CSS to use the font here. This is
* http://dotsies.org/web-font.html's directions modified to use @import.
*
* NOTE: THIS IS INSECURE! Arbitrary CSS could be inserted by an attacker
* intercepting the unsecured connection to dotsies.org.
*/
/*@import url(http://dotsies.org/dotsies.css);*/
/* Apply Dotsies globally. */
html, body, #globalWrapper {
/*font-family: "Dotsies";*/
/* How can I kludge around Wikipedia's 0.85em to make the per-element-type
* "font-size:" declarations work accurately? */
/*font-size: 1.176em;*/
}
/* Set custom font sizes for everything, based on
* https://en.wikipedia.org/wiki/Help:User_style#Print_view_tweaks.
* This is changed to use ideal sizes for Dotsies. In particular, sizes are
* larger to make it easier to read an unfamiliar font, and sizes are chosen
* to have integer numbers of pixels in each Dotsies "dot" when displayed on a
* 96 DPI screen. Ideal Dotsies font sizes are 4.5 (1 pixel-per-dot), 9.5 (2x2
* pixels per dot), 14 (3x3), 19 (4x4), 24 (5x5), and 28.5 (6x6), after which
* gradual font size changes stop looking bad to me.
*/
body { font-size: 14px }
h1 { font-size: 33.5px }
h2 { font-size: 28.5px }
h3 { font-size: 24px }
h4 { font-size: 19px }
h5 { font-size: 14px }
h6 { font-size: 14px }