!doctype css
p.bordered
{
border-style=solid;
border-width-5px;
}
button{
    background: #444;
    border:1px solid #888;
    border-radius: 0;
    color:#ddd;
    cursor:pointer;
    margin: 5px 0 0 5px;
}
button:hover{
    color:#fff;
    background: #666;
}
button:disabled{
    color:#888;
    cursor:default;
}
button:disabled:hover{
    color:#888;
    background: #444;
}
div{
    font-family: monospace;
    float: right;
}
p{
  font-family: monospace;
  }
disclaimer{
  font-family: monospace;
  font-size: 7px;
  position: fixed;
  bottom: 0;
  }