User:MarkGyver/common.css

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