body {
height:100%; /*set the page body to use the full height of the window (only needed for IE)*/
margin: 0; /*set the page body margins to zero (only needed for IE)*/
}
.page_body {
margin-top: 5px; /*Set the margins for our main text (optional)*/
margin-bottom: 5px;
margin-left: 1em;
margin-right: 1em;
}
.fixed_menu {
position: fixed; /*set the position type for non IE systems*/
top: 15em; /*set the top of the menu to be ~15 lines down the screen, you need to specify the location in some way*/
right: 1em; /*set the right hand edge of the menu to be slightly in from the edge*/
width: auto; /*the menu is as wide as it needs to be for the text we put in it*/
text-align: right; /*optional : align the text to the right hand edge (I think this looks better since the menu is on the right)*/
margin: 1px; /*optional : I just find a small margin makes things look a bit better*/
}

.fixed_menu a { display: block; } /*Optional : This puts each link in the menu on a new line, remove if you want a horizontal menu*/

* html .fixed_menu {position:absolute;} /*IE only change the position mode of the menu*/