@CHARSET "UTF-8";

div.headline {
    color: #111;
    font: 10pt/1.45em Verdana,Arial,Helvetica,sans-serif;
    background-color: white;
    border: 1px solid black;
    height: 20px;
    left: 0;
    padding: 5px;
    position: fixed;
    top: 0;
    width: 100%;
    z-index: 1000;
}

div.headline a {
    color: #0000ff;
}

div.headline a:hover {
    color: #000080;
}