/* Stolen from http://www.w3.org/QA/2001/10/qa3.css */

.menu {
	background-color:#eee;
	border:1px dashed #999;
	line-height:1.3em;
	}
/* Again, "be nice to Opera 5". */
body .menu {width:10em;}

@media screen, projection { 
.menu {
	position:fixed;
	top:20px;
	right:10px; /* changed */
	width:10em;
}
.menu a {
display : block;
}

.menu .dot    { display : none }

body {
        margin-right:12em;
}
}