@import url("http://www.netbsd.org/global.css");
body { margin: 10px; }
pre { font-size: larger; }
tt { font-size: larger; }