body{margin:1em auto;max-width:40em;padding:0 .62em;font:1.2em/1.62 serif;}
h1,h2,h3,h4{line-height:1.2;font-family:sans-serif}
@media print{body{max-width:none}}
H1 {text-align:center;color:peru}
.vsr {color:green;text-decoration:underline;cursor:pointer}
.vsrdef {font-family:"Lucida Console";font-size:small}
/*
.nav {background:slategray;color:white}
*/
.sralgdescr {font-family:monospace;font-weight:bold;cursor:hand}
td.sralgdescr {vertical-align:text-top}
.srformula {color:dark-grey;font-family:serif;font-style:italic;vertical-align:text-top}
.srscaleset {font-size:smaller;vertical-align:top}
.asciiart {font-family:"Lucida Console"	"Terminal" monospace}
.mf {font-family:Roman;font-style:italic;text-align:center}