/**
 * Stylesheet for printing
 */

body {
	font-family: arial;
}

h1 {
	float: left;
	font-family: nimbus, "dejavu sans", verdana, arial, helvetica, sans-serif;
}

h1 .beta {
	color: rgb(255,146,0);
}

h1 .control {
	color: rgb(136,140,141);
}

h2 {
	float: right;
}

a {
	color: black;
	text-decoration: none;
}

#mainmenu, #menu, #sections, #right {
	display: none;
}

#main {
	clear: both;
	height: auto !important;
}

h3 {
	color: #fb351e;
}

.hide {
	display: none;
}

#footer {
	text-align: right;
	font-size: 0.7em;
	color: rgb(136,140,141);
}