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;
}

.preformatted { white-space: pre; width: 100%; }