/* $Id: tmdoc.css,v 1.5 2012/04/18 09:26:05 machan Exp $ */

h1.title {
    padding: 5px 5px 5px 0px;
}

h2.title {
    padding: 5px 3px 3px 0px;
    font-size: 20pt;
}

h3.title {
    padding: 40px 3px 3px 0px;
    border-bottom: 1px solid black;
    font-size: 18pt;
}

h4.title {
    padding: 10px 3px 3px 0px;
    font-size: 12pt;
}

h5.title {
    padding: 10px 3px 3px 0px;
    font-size: 11pt;
}

pre.programlisting {
    color: black;
    background-color: white;
    border-width: 1ex;
    border-color: white;
    border-style: solid;
    border: 1px solid #a0a0a0;
}

table, tbody, thead, tfoot, tr, td {
    font-family: "Gill Sans", "Trebuchet MS", "Helvetica", "Arial", "sans serif";
    font-size: 10pt;
}

body {
    font-family: "Gill Sans", "Trebuchet MS", "Helvetica", "Arial", "sans serif";
    font-size: 10pt;
}