/* File: wads_style.css
 * Description: Simple style sheet for wads.org
 */

body {
	margin-top : 2cm;
	margin-right : 10%;
	margin-left  : 10%;
	width : auto;
	background-color : #E9EEF4;
}

/* For typesetting my name */
span.myname {
	font-family : "sans-serif";
	font-weight : bold;
	font-size : 250%;
}

/* For typesetting the title of a page */
div.title {
	align : center;
	font-family : "sans-serif";
	font-weight : bold;
	font-size : 140%;
}

h1 {
	font-family: "helvetica", "sans-serif";
	font-weight: bold;
	font-size: 120%;
}

h2 {
	font-family: "Helvetica", "sans-serif";
	font-weight: bold;
	font-size: large;
}

h3 {
	font-family : serif;
	font-weight : bold;
	font-size : medium;
}

a {
	text-decoration : underline;
}

ul {
	list-style-type : disc;
}

span.slightem {
	font-weight : bold;
}