#navcol { background-color: #ddd; width: 200px }
#footer  { font-size: 0.75em; background-color: #ddd; text-align: right; padding: 1em }
#topkey { background-image: url("images/topKeyNShadow.jpg"); background-repeat: repeat-x; background-position: left top; height: 8px }
#sidekey   { background-image: url("images/verticalkeyNshadow.jpg"); background-repeat: repeat-y; background-position: left top; border-bottom: 1px solid #006400 }
#Contents  { font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; line-height: 1.5em; padding: 1em; }
#menu { padding: 1em }
#Header { background-color: #ddd }
#holdall  { font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif; border: solid 5px #85b40c }
.menuline  { color: #000080; font-size: 0.9em; font-weight: bold; text-decoration: none; display: block; padding-top: 1em }
.menuline:hover { color: #c00 }
.boxDetails { font-size: 0.75em }
.highlight   { background-color: #9c0; padding: 10px; border: solid 2px #000080 }
.application { background-color: #fc9; padding:5px; border: solid 3px #fff;}