/* Like style.css, but with navBar on right
*/
@import "style.css";
/*
body {
margin: 0 2em 5em 0; padding: 9em 0 0 17em;
}
*/
/*
html>body { margin: 0 2em 5em 0; padding: 9em 0 0 14em }
*/
div.main {
/* right: 2em; */
/* left: 14em; */
/* Width has to allow for right-hand navbar, but we don't know how wide that is.
We could make navbar fixed width, but then it wouldn't cope with user-selection of font size.
*/
width: 80%;
/* width: auto; */
/* padding: 0 10% 1em 4% */
}
div.navBar {
display: block;
position: absolute;
max-width: 20%;
top: 0em; right: 0em; bottom: auto; left: auto;
}
.navBar {
text-align: left;
line-height: 100%;
}
.navBar li, .navBarChildren li {
display: block;
padding: 0;
}
.navLink {
/* padding: 1em; */
/* border: none; */
display: block;
}
.navLinkHere {
/* padding: 1em; */
/* border: 1pt solid black; */
display: block;
padding: 0;
}