html body {
        font-family: Vera Sans, Bitstream Vera Sans, Verdana, Arial, Helvetica, sans-serif;
        font-size: small;
        color: #000;
        background-color: #fff;
        margin: 0;
        padding: 0;
        line-height: 160%;
        }


#titlebar {
	background: #24437d url(titlebar_background.jpg) no-repeat right bottom;
        vertical-align: baseline;
}

h1.title {
	color: #fff;
	font-size: 50px;
	padding: 50px 0 20px 20px;
	font-weight: normal;
	text-indent: 0;
	margin: 0;

	}

#menu {
	margin: 0;
	padding: 0;
        background: #eee;
	border-top: solid 1px #aaa;
	border-bottom: solid 1px #aaa;
}

#menu ul{
        list-style: none outside;
        margin: 0;
        padding: 0;
}


#menu li {
        display: inline;
        margin: 0;
        padding: 2px 1em 3px 20px;
        background: #eee;
	border-bottom: solid 1px #aaa;
	border-right: solid 1px #aaa;
	
}

#menu a:link, #menu a:visited {
	text-decoration: none;
	border: 0;
	color: #000;
}

#menu li.selected {
	background: #fff;
	border-bottom: 1px solid #fff;
}

#main {
	position: relative;
	margin: 0;
        /* 5 % left padding is space for the -5 % text-indent of H elements.
           The space must be padding, not margin or other the neighbor div,
           otherwise IE will display cut H elements. */
	padding: 1em 0 5em 5%;
	left: 10%;
	width: 40em;
}

.date {
	text-indent: -5%;
	color: #999;
}

h1, h2, h3, h4 {
	margin: 5px 0 5px 0;
	padding: 0;
	color: #359;
	}	

h1 {
	font-size: 150%;
	text-indent: -5%;
}

h2 {
	font-size: 120%;
	text-indent: -5%;
}

h3 {
	font-size: 100%;
	text-indent: -5%;
}

h4 {
	font-size: 100%;
	text-indent: 0;
}

a {
	color: #00f;
	text-decoration: none;
	border-bottom: 1px dotted #555;
}

a:visited, a:active {
	color: #999;
	text-decoration: none;
	border-bottom: 1px dotted #00f;
}

a:hover {
	color: #f50;
}

a.screenshot {
        border: 0;
        margin: 0;
}

img.screenshot {
        border: 0;
        margin: 2em 1em 0 0;
}

.notice {
	color: red;
	font-size: large;
}

p.latestversion {
	font-size: 150%;
	color: #359;
	text-indent: -5%;
}

.command {
	color: #000;
        background: #eee;
}