/* A.S. 16.XI.03 fixed menu */
/* $Date: 2005/07/03 14:09:52 $  $Id: style-fixed-right.css,v 1.5 2005/07/03 14:09:52 sm6vyf Exp $ */
.head {
    margin-left: 0;
    margin-right: 12em;
}
.content {
    margin-left: 0;
    margin-right: 12em;
}
.foot {
    margin-left: 0;
    margin-right: 12em;
}
.menu {
    display: block;
    border-left: 4px double #028;
    border-bottom: 4px double #028;
    border-right: none;
    left: auto;
    right: 0;
}
body>div.menu {			/* non ie */
    float: none;
    position: fixed;
}