<!--

.
div.pinmenu {
    position: fixed;
    margin-top: 2em;
    margin-left: 1em;
    width: 13em;
    /* everything below is needed because of Netscape 4.x only */
    float: left;
    padding: 0.2em 0.2em 1.2em 0.2em;
}
#adressen{
	margin-left: 17px; color: rgb(153, 153, 153); font-size: 10pt; font-family: Arial,sans-serif
	}
#adressenlink{
	color: rgb(153, 153, 153); font-size: 10pt; font-family: Arial,sans-serif; text-decoration:none;
	}
#submenu {
	padding-left:5pt; padding-right:5pt;
	font-size:8pt; color:#666666;
	vertical-align:top
	}
#sub {
	color: rgb(153, 153, 153); font-size: 13pt; font-family: Arial,sans-serif; text-decoration:none
	}
#suba {
	color: #c13729; font-size: 13pt; font-family: Arial,sans-serif; text-decoration:none
	}
#home {
	color: #444444; font-size: 13pt; font-family: Arial,sans-serif; text-decoration:none
}


-->