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 }