html {-webkit-text-size-adjust: none; }
body { background: rgb(250, 252, 238); font-family: Arial, sans-serif; font-size: 18px; }
nav { color: #DDDDDD; background: #005D8C; padding: 1px; padding-left: 10px; }
nav	A { text-decoration: none; color: #DDDDDD; }
nav	A:hover { color: #FFFFFF; }
A { text-decoration: none; }
.mainhint { font: bold 20px Arial, sans-serif; color: rgb(0, 0, 102); }
.prglink { font: bold 14px Arial, sans-serif; }
.inputarea { margin-top: 3px; margin-left: 5px; margin-bottom: 3px; margin-right: 5px;
  text-align: left;
  td {padding: 2px; }
}
footer { color: #EEEEEE; background: #005D8C; padding: 1px; padding-left: 10px; }