/** inspired of gnome.org:2008-07-28 */
html,body { margin:0; padding:0; font-family:sans-serif; }
#header {}
#footer {}

#menu {
	background-color: rgb(46,52,54);
	color:white;
}
#menu p#wiki {
	margin:0;
	padding:4px 0px 4px 24px;
}
#menu #submenu {
	float:right;
	padding:4px 24px 4px 0px;margin:0;
}
#menu a {
	color:white;
	text-decoration: none;
}
#menu a:hover { text-decoration: underline; }

#header {
	border-bottom: 1px solid #dddddd;
}
#header, #header a, #header a:visited, #header a:active {
	background-color: rgb(114, 159, 207);
	color:white;
	text-decoration:none;
}
#header h1 {
	margin:0;
	padding-left:64px;
	padding-top: 8px;
	padding-bottom: 8px;
	font-size:x-large;
	font-weight: bold;
}

h2 {
	color: rgb(63, 63, 63);
	border-bottom: 1px solid rgb(153, 153, 204);
	font-size: 110%;
}
a {
	color: rgb(52, 101, 164);
}
a:visited {
	color: rgb(52, 101, 200);
}

#maincontent {
	padding:1em; margin: 1em;
}

#footer {
	border-top: 1px solid #ddd;
	text-align:center;
	color: rgb(136, 136, 136);
	font-size: .8em;
}