@media screen { html { overflow: -moz-scrollbars-vertical } body { height: 100%; margin: 0; font-family: arial, sans-serif; font-size: small; } h1 { display: none } a { text-decoration: none; color: #91003d } a:hover { text-decoration: underline } div#nav { position: absolute; top: 0px; left: 0px; width: 228px; background: #000 url(img_1/logo.gif) top left no-repeat; padding-top: 228px; color: #fff } div#nav a { color: #fff } div#nav ul { margin: 32px 0px 0px 0px; padding: 0px 0px 0px 16px; list-style: none } div#nav ul ul { margin: 0px } div#nav li { padding: 0px; margin: 0px } div#nav div { background: #91003d; text-align: center; margin-top: 32px } div#nav p { margin: 32px 16px 32px 16px } div#nav div p { padding: 4px; margin: 0px } div#top { position: absolute; top: 0px; left: 228px; height: 114px; width: 672px; background: #91003d } div#top ul { margin: 0px; padding: 0px; list-style: none } div#top li { float: left; padding: 9px 0px 0px 13px } div#body { position: absolute; top: 114px; left: 228px; width: 640px; padding: 16px } div#body h2 { color: #91003d; font-weight: bold; font-size: medium; margin: 0px; } div#body p { margin-top: 1em } div#body ul.binaries { margin: 1em 0em 0em 0em; padding: 0em; list-style: none } ul.add { margin: 0px; padding: 0px; list-style: none } ul.add li { margin-top: 1em; padding-left: 16px; background: url(img_1/page.gif) top left no-repeat } } @media print { h1, div#nav, div#top { display: none } } p.cen { text-align: center } p.ind { margin-left: 32px } p.rgh { text-align: right } p.fli { text-indent: -32px; margin-left: 32px } p.quo { padding: 0px 32px 0px 32px; font-style: italic }