User:MarkGyver/common.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.
/* 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 }