div.header_links a {padding: 5px; border:  1px solid #ffffff; margin-left: 3px; text-decoration: none;}

div.header_links {margin: 5px;}

div.header_links a:hover {background-color: #C34302}