.wikipage h2 {
 border-bottom: 1px solid #b00;
 border-left: 6px solid #b00;
 font-size: 120%;
 margin-top: .5em
 margin-bottom: .5em;
 padding-left: 5px;
 padding-top: 3px;
 padding-bottom: 0px;
 width:98%;
}

.wikipage h3 {
 border-bottom: 1px dashed #b00;
 width:98%;
 padding-left: 11px;
}

/* Quick search */
#proj-search { width: 20em }

/* Navigation */
.nav li {
 padding: 0 .4em;
}

/* Main navigation bar */
#mainnav :link, #mainnav :visited {
 padding: .2em 0.8em;
}

/* changeset diff, code */
table.sidebyside td.l,
table.sidebyside td.r,
table.inline td.l,
table.inline td.r,
table.code tbody tr td {
 font-size: 12.0px;
}