/* Global defs */

th { text-align: left ; };
option { font-family: "Courier" : monospace; };
optgroup { font-weight : normal ; font-size : 4pt ; }