* {
    font-family :verdana,sans-serif;
    font-size   :14pt;
  }
pre {font-family:monospace;font-size:small;}
div {  margin: 4px; }