a {
 color: #880000;
}

img {
 border: none;
}

h1 {
 font-size: 14pt;
 font-family: serif;
 font-weight: bolder;
 font-variant: small-caps;
 color: #880000;
}

h2 {
 font-size: 12pt;
 font-family: serif;
 font-weight: bolder;
 font-variant: small-caps;
 color: #880000;
}

h3 {
 font-size: 10pt;
 font-family: serif;
 font-weight: bolder;
 font-variant: small-caps;
 color: #880000;
}

h4 {
 font-size: 8pt;
 font-family: serif;
 font-weight: bolder;
 font-variant: small-caps;
 color: #880000;
}

body > div:first-child > h1:first-child {
 margin-top: 0px;
 padding-top: 0px;
 padding-left: 30px;
}

.copyright {
 clear: both;
 border: solid 1px #880000;
 color: #880000;
 margin: 20pt;
}

.copyright a {
 color: #880000;
}

.imgframe {
 float: left;
 text-align: center;
 margin: 10px;
}

.imgversions * {
 font: 10pt serif;
}

.program-links {
 padding-top: 1em;
}

.program-versioninfo {
 padding-top: 1em;
}

.program-infopanel {
 float: right;
 max-width: 50%;
}

.program-infopanel > div > *:first-child {
 margin-top: 0px;
}

.program-infopanel > div {
 border: 1px solid #880000;
 margin: 1em;
}

.program-infopanel > div:first-child {
 margin-top: 0px;
}

.program-modules {
 clear: both;
}

.program-module {
 clear: both;
}

.program-module-infopanel {
 float: right;
 max-width: 30%;
}

.program-module-infopanel > div > *:first-child {
 margin-top: 0px;
}

.program-module-infopanel > div {
 border: 1px solid #880000;
 margin: 1em;
}

.program-module-infopanel > div:first-child {
 margin-top: 0px;
}