/* 
(c) 2003 Tero . Karvinen (at) iki . fi GPL

1) Follow basic typographic guidelines (even in the web)
	- Short texts (like headings) are sans serif (like Arial)
	- Longer texts (like paragraphs) are serif (like Times)
2) KISS - Keep it simple, stupid
3) User control - Resizable text and browser colors
4) Validate with http://jigsaw.w3.org/css-validator/validator-text.html
*/

/* Basics */

H1, H2, H3, H4 { font-family: sans-serif; } /* Use H1 once to repeat page title */
BODY { font-family: serif; }
B, EM { font-weight: bold; font-style: normal; } 

H2 { font-size: large; font-weight: bold; }
H3 { font-size: medium; font-weight: bold; }
H4 { font-size: small; font-weight: bold; }

IMG {
	float: right; 
	padding-left: 1em; 
}

/* pre-wrap.css has browser specific (invalid) styles for wrapping pre. */

/* Extras */

*.snippet { /* use this and br instead of pre */
	margin-left: 1em; 
	color: black;
	background-color: #F0F8FF;
	border: solid thin;
	padding: 1em;
}
*.wrong {
	font-size: small;
/*	color: #990000;
	background: white;*/
} 

*.small { 
	/* color: gray; background-color: white; */ 
	font-size: x-small 
}

*.warning { color: red; background-color: white; 
        font-size: larger;
        font-family: sans-serif; }