@import url("guidelines-beta.css");

div.miniTOC { display: none;}
#banner { display: none;}
#udm { display: none;}
span.bookmarklink {display: none;}
span.emptySlash { }
body{   
    font-family: sans-serif; 
    font-size: 1em;
}

pre,div.pre,div.pre_eg,pre.eg,div.eg {
    font-size: 1em;
}