table.keys {
    border-top: solid;
    border-bottom: solid;
    border-right: solid;
    border-left: solid;
    border-width:2px;
    margin:5;
}

tr.thead {
    background:lightgray;
    color:darkblue;
    font-weight:bold;
    margin:10;
}

tr.thead td {
    xborder:solid;
    xborder-width:1px;
    margin: 10pt;
}

colgroup {
    border-right: solid
}

pre {
    background:#F0F0F0;
    border:solid;
    border-color:#F0F0F0;
    border-width:5px;
    border-radius:5px;
    xmargin:5;
}