body
{
    background: #fff;
    background-image: none;
    margin: 10px;
}
.right
{
    position: absolute;
    right: 1em;
    padding: .3em;
}
a.closeButton
{
    color: #000000;
    background-color: #d2d2d2;
    text-decoration: none;
    padding: .3em .4em .3em .4em;
    font-size: 12px;
}
a.closeButton:hover
{
    background-color: #e3e3e3;
}
table.machine
{
    background-color: #f4f4f4;
    border: solid 1px #f0f0f0;
}
table.machine td
{
    padding: 7px;
}