/* CSS styles for coverage.py */
/* Page-wide styles */
html, body, h1, h2, h3, p, td {
    margin: 0;
	padding: 0;
	border: 0;
	outline: 0;
	font-weight: inherit;
	font-style: inherit;
	font-size: 100%;
	font-family: inherit;
	vertical-align: baseline;
    }

/* Set baseline grid to 16 pt. */
body {
    font-size: 1em;
    }

html>body {
    font-size: 16px;
    }    

/* Set base font size to 12/16 */
p {
    font-size: .75em;        /* 12/16 */
    line-height: 1.3333em;   /* 16/12 */
    }

a.nav {
    text-decoration: none;
    color: inherit;
    }
a.nav:hover {
    text-decoration: underline;
    color: inherit;
    }

/* Page structure */
#header {
    background: #f8f8f8;
    width: 100%;
    font-family: georgia, serif;
    border-bottom: 1px solid #eee;
    }

#source {
    padding: 1em;
    font-family: "courier new", monospace;
    }

#footer {
    font-size: 85%;
    font-family: verdana, sans-serif;
    color: #666666;
    font-style: italic;
    }

/* Header styles */
.content {
    padding: 1em 3em;
    }

h1 {
    font-size: 1.5em;
}

h2.stats {
    margin-top: .5em;
}
.stats span {
    border: 1px solid;
    padding: .1em .25em;
    cursor: pointer;
    border-color: #888 #ccc #ccc #888;
}
.stats span.hide {
    border-color: #ccc #888 #888 #ccc;
}

/* Source file styles */
.linenos p {
    text-align: right;
    margin: 0;
    padding: 0 .5em;
    color: #999999;
    font-family: verdana, sans-serif;
    font-size: .625em;       /* 10/16 */
    line-height: 1.6em;  /* 16/10 */
    }
td.text {
    width: 100%;
    }
.text p {
    margin: 0;
    padding: 0 0 0 .5em;
    white-space: nowrap;  
    }

.text p.mis {
    background: #ffdddd;
    }
.text p.run {
    background: #ddffdd;
    }
.text p.exc {
    background: #eeeeee;
    }
.text p.hide {
    background: inherit;
    }