html {-webkit-text-size-adjust: none; -webkit-appearance: 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; }
.header {
	font-size: 24px; color: rgb(0, 0, 102);
}
.inputarea {
  text-align: left;
}
.button {
	font: 16px Arial, sans-serif;
}
a.resultList {color: black;}
a.resultList:visited {color: black;}
a.inverse {color: white;}
a.inverse:visited {color: white;}
hr { height: 1px; margin-top: 2px; margin-bottom: 2px; }
footer { color: #EEEEEE; background: #005D8C; padding: 1px; padding-left: 10px; }