tip/docs/src/davdoc.css

.header, h1, h2, h3, .sidebar {
    font-family: sans-serif;
}

.header {
    padding-top: 0.3em;
    padding-bottom: 0.5em;
    margin-bottom: 2em;
    border: none;
    border-bottom: 1px solid;
    border-bottom-color: #2E2E2E;
}

.header span {
    font-size: 2em;
    font-weight: bold;
    margin-left: 1em;
}

.header img {
    float: right;
}

.header a:link {
	text-decoration: none;
	color: black;
}

.header a:visited {
	text-decoration: none;
	color: black;
}

.header a:hover {
	color: #e68a00;
}

.sidebar {
    float: left;
    width: 15em;
}

.nav {
    color: black;
    background-color: #d2d2d2;
    margin-bottom: 1em;
    padding-bottom: 0.1em;
}

.nav h3 {
    color: white;
    background-color: #008080;
    font-size: 1.2em;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    padding-left: 0.5em;
    margin-top: 0;
}

.nav ul {
    margin-top: 0;
    padding-top: 0;
    font-size: 0.95em;
}

.nav a:link {
	text-decoration: none;
	color: black;
}

.nav a:visited {
	text-decoration: none;
	color: black;
}

.nav a:hover {
	color: #e68a00;
}

.content {
    margin-left: 16em;
    padding: 0;
    font-family: serif;
    font-size: 1em;
    min-width: 16em;
}

.content h1 {
    color: white;
    background-color: #008080;
    font-size: 1.2em;
    padding-top: 0.2em;
    padding-bottom: 0.2em;
    padding-left: 0.5em;
    padding-right: 0;
    margin-top: 0;
}

.content h2 {
    font-size: 1.2em;
}

.content h3 {
    font-size: 1.05em;
}