body {
	font-family:verdana, Helvetica;
	font-size:11px;
    width: 500px;
    margin-left:auto;
    margin-right:auto;
    text-align: justify;
}

a { color:black; }
a:visited { color:black; }

h1 { font-size: 55px; font-weight:normal; margin-top:0;  padding:0; display:inline;
     letter-spacing: 1px; }
h2 { font-size: 30px; font-weight:normal; margin:0; margin-top:16px; margin-bottom:2px; }
h3 { font-size: 16px; font-weight:normal; }
h4 { font-size: 13px; font-weight:normal; }

p { line-height:15px; }

hr { color: #aaa; background-color:#aaa; height:1px; border:0; }

.footer { width:100px; margin-left: auto; margin-right: auto; }

.byline { margin-left: 208px; margin-top:-14px; letter-spacing: 1px; }
.strapline { margin-top:-11px; letter-spacing: 1px; }

ol { padding-left: 16px; }
li { padding: 5px 0 5px 0; }
body {
	font-family:verdana, Helvetica;
	font-size:11px;
    width: 500px;
    margin-left:auto;
    margin-right:auto;
    text-align: justify;
}

a { color:black; }
a:visited { color:black; }

h1 { font-size: 55px; font-weight:normal; margin-top:0;  padding:0; display:inline;
     letter-spacing: 1px; }
h2 { font-size: 26px; font-weight:normal; margin:0; margin-top:16px; margin-bottom:2px; }
h3 { font-size: 16px; font-weight:normal; }
h4 { font-size: 13px; font-weight:normal; }

p { line-height:15px; }

hr { color: #aaa; background-color:#aaa; height:1px; border:0; }

.footer { width:100px; margin-left: auto; margin-right: auto; }

.byline { margin-left: 208px; margin-top:-14px; letter-spacing: 1px; }
.strapline { margin-top:-11px; letter-spacing: 1px; }

ol { padding-left: 16px; }
li { padding: 5px 0 5px 0; }
Make docs titles a bit smaller.
Make docs titles a bit smaller.