/* GOPHER -- Good Old Plain Html for the occasional writER */
/* fonts_web.css: font definitions for MS Web fonts (Georgia/Verdana) with various fallbacks */

body {font-size:small; font-family:Verdana,Tahoma,DejaVu Sans,Arial,sans-serif;}
.serif {font-size:110%; font-family:Georgia,DejaVu Serif,Times New Roman,serif;}
.narrow {font-size:100%; font-family:Tahoma,Verdana,DejaVu Sans,Arial,sans-serif;}
h1,h2,h3,h4,h5,h6 {font-family:Trebuchet,Trebuchet MS,Tahoma,Verdana,DejaVu Sans,sans-serif;}
code {font-size:110%; font-family:Courier,Courier New,monospace;}
pre {font-size:110%; font-family:Courier,Courier New,monospace;}
div.banner {font-family:Trebuchet,Trebuchet MS,Tahoma,Verdana,DejaVu Sans,sans-serif;}
div.navigation {font-family:Trebuchet,Trebuchet MS,Tahoma,Verdana,DejaVu Sans,sans-serif;}