body { font-size: calc(9px + .7vw); width: calc(100vw - 25px); }
pre { 
	font-size: calc(9px + .6vw);   
	font-family: Lucida Console, Menlo, Monaco, Consolas, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
}

.footnote { 
	font-size: calc(8px + .5vw);   
	font-family: Lucida Console, Menlo, Monaco, Consolas, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
}


.preformatted { white-space: pre; width: 100%; }
.fixed { 
	font-size: calc(8px + .4vw);   
	font-family:  Courier New, Lucida Console, Menlo, Monaco, Consolas, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, monospace, serif; 
}