body {
	color: black;
	background-color: #e0e0e0;
	font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
	line-height: 155%;
	padding-right: 2em;
	padding-left: 2em;
}
h1, h2, h3 { color: #404040;
}
h1 {
	font-size: 250%;
}
h2 {
	font-size: 200%;
}
body p { 
	text-align: justify; 
}

dl.softwarelist {
	margin-left: 4em;
}

dl.softwarelist dd {
	margin-bottom: 1em;
}

.progname {
	font-family: courier;
	font-weight: bold;
	font-size: 110%;
}

.fname {
	font-family: courier;
	font-size: 110%;
}

p.homelink {
	font-size: 150%;
	margin-bottom: 2em;
}

pre.listing {
	border: dotted;
	border-color: black;
	border-width: thin;
	background-color: #f8f8f8;
	padding: 1em;
}

div.navbar {
	background-color: #f8f8f0;
	border: solid;
	border-width: 2px;
	border-color: #202080;
	font-size: 150%;
	padding-left: 1em;
	padding-right: 1em;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	margin-top: 1em;
	margin-bottom: 1em;
}

div.warning {
    font-size: 120%;
    color: #b00000;
    background-color: #ffd0d0;
    padding: 1ex;
    border: 1px solid red;
}