#logo {
	position: absolute;
	top: 0px;
	left: 0px;
}

/*
body {
	margin-left: 110px;
	background: url(http://www.debian.org/logos/openlogo-100.png) no-repeat 2px 4px;
}
*/

h1,h2,h3 {
	font-family: "Trebuchet MS", "Verdana", sans-serif;
}

.warning {
	border: 1px solid black;
	padding: 8px;
	background-color: #ff8080;
	font-weight: bold;
	text-align: center;
}

pre {
	display: block;
	border: 1px solid black;
	padding: 8px;
	background-color: #ffffc0;
}

kbd {
	font-family: "Lucida Console";
	color: #802020;
}