hr {
    margin-top: 5px;
    margin-bottom: 5px;
    border: 0;
    border-top: 1px dotted #eee;
}

/*hide the default jspwiki logo */
a.logo { border:none;}

/* put the clean-blue logo, attached to this page */
a.logo {
    background: url(Atari-Logo.png);
    background-size: contain;
    background-repeat: no-repeat;
    background-position: center;
    height: 60px;
    width: 53px;
}

.recentchanges>thead>tr>th, .recentchanges>tbody>tr>th, .recentchanges>tfoot>tr>th, .recentchanges>thead>tr>td, .recentchanges>tbody>tr>td, .recentchanges>tfoot>tr>td {
    font-size: 75%;
    padding: 2px;
    vertical-align: top;
}