/* Redefinitions */body {    background: #000000;    color: #ffffff;    font-family: georgia,"new york","times new roman";    font-size: 10pt;}/* Layout */#page_content {    position: absolute;    left: 218px;    top: 5px;    padding: 2px;    margin-right: 10px;}/* Links */a {    text-decoration: none;    color: #888888;}a:hover {    text-decoration: underline;    color: #880000;}