body {
font-size:      12px;
font-family:    arial,helvetica,sans-serif;
margin:         6px;
padding:        6px;
}
h1 {
color:            darkgoldenrod;
font-family:      sans-serif;
font-size:        14pt;
font-weight:      bold;
}
h2 {
color:          IndianRed;
font-family:    sans-serif;
font-size:      14pt;
font-weight:    normal;
}
h3 {
color:          Black;
font-family:    sans-serif;
font-size:      12pt;
font-weight:    bold;
}
h4 {
color:          FireBrick;
font-family:    sans-serif;
font-size:      10pt;
font-weight:    bold;
}
span.line {
color:           slategrey;
/*font-style:    italic; */
}
span.file {
 color:         black;
 font-style:    italic;
}
table.indextable {
    border:         2px solid black;
    font-family:    sans-serif;
    color:          black;
    width:          96%;
    bgcolor:        #FFFFFF;
    align:          center;
}
th.indextable, td.indextable {
    /* border: 1px solid black; */
    border: 1px;
    border-top-style:solid;
    border-right-style:dotted;
    border-bottom-style:none;
    border-left-style:none;
    vertical-align:top;
    padding: 2px 6px 2px 6px;
}
table.posts {
border:            2px solid black;
border-collapse:   collapse;
font-family:       sans-serif;
color:             black;
}
th.post, td.post, td.alt1 {
    border:            1px solid black;
    vertical-align:    top;
    padding:           2px 6px 2px 6px;
    }
p.page_links {
        horizontal-align:          center;
        font-family:      sans-serif;
        font-size:        10pt;
        font-style:     italic;
    }

a.headerlink {
    visibility: hidden;
}
a:visited {
    color: #551A8B;
}
h1:hover > a.headerlink,
h2:hover > a.headerlink,
h3:hover > a.headerlink,
h4:hover > a.headerlink,
h5:hover > a.headerlink,
h6:hover > a.headerlink {
    visibility: visible;
}