@import "https://www.gnu.org/software/kawa/style/kawa.css";

body { 
  position: relative;
  padding-left: 25%;
  margin-right: 1em;
  padding-right: 0;
  border: 0;
}

div.navcol {
  position: absolute;
  overflow: auto;
  width: 25%;
  top: 0em; right: 0em; bottom: 0em; left: 0em;
  overflow: auto;
 }

/* The child selectors are a hack to hide these rules from WinIE6,
   which gets confused by 'fixed' */
body>div.navcol { 
  position: fixed ;
}