body {
    background-image: url("pattern_140.gif");
    /*background-image: url("pattern_081.gif");*/
	background-repeat: repeat;
    background-attachment: fixed;
	font-family: Verdana, sans-serif;
	font-size: 14px;
    line-height: 19px;
}

div.container {
	margin-top: 10px;
	margin-left: auto;
	margin-right: auto;
    width: 1000px;
}

div.menu, div.content, div.footer {
    /*background-color: rgb(208, 238, 252);*/
    background-color: rgb(240, 235, 210);
    /*border-color: rgb(129, 195, 224);*/
    border-color: rgb(220, 180, 160);
    border-style: solid;
    border-width: 1px;
}

div.menu {
	padding: 10px;
	width: 148px;
	position: fixed;
}

div.content {
	padding-left: 10px;
	padding-right: 10px;
	padding-top: 10px;
    /*as https://bugzilla.mozilla.org/show_bug.cgi?id=748518 explains, padding-bottom is ignored with overflow: auto, so instead i have margin-bottom: 10px for p, h1 and ul below.*/
	margin-left: 180px;
}

div.footer {
	padding: 10px;
    margin-top: 10px;
    margin-bottom: 10px;
    margin-left: 180px;
}

p, h1, ul, pre, div.img {
    margin-bottom: 10px;
}

ul.menu {
    margin-bottom: 0px;
}

p.menu, p.footer {
    margin-bottom: 0px;
}

p.footer {
    text-align: center;
}

img.profile_picture {
    margin-left: 10px;
    margin-bottom: 10px;
    float: right;
}

div.img {
    text-align: center
}

a:link {
    color: rgb(102, 57, 35);
    /*color: rgb(0, 19, 70);*/
}

a:visited {
    color: rgb(41, 77, 23);
    /*color: rgb(0, 70, 19);*/
}

a:hover, a:active {
    text-decoration: none;
}

h1 {
    font-size: 17px;
}

span.code {
    font-family: "Courier New", monospace;
}

.prettyprint {
    font-family: "Courier New", monospace;
    background-color: rgb(216, 223, 205);
}