/* */
body { margin: 2px 12px 12px }
a { color: #00f; font-size: 9pt; font-family: "Lucida Grande", Arial, sans-serif; line-height: 12pt; text-decoration: none }
a:hover { color: #00f; font-family: "Lucida Grande", Arial, sans-serif; text-decoration: underline }
#banner { background-color: #f2f2f2; background-repeat: no-repeat; padding: -2px 6px 0; position: fixed; top: 0; left: 0; width: 100%; height: 1.2em; float: left; border-bottom: 1px solid #bfbfbf }
#machelp { position: absolute; top: 2px; left: 10px }
.bread { color: #00f; font-size: 8pt; margin: -9px 0 -6px }