@import "basic-adv.css";

H1, H2, H3, H4, H5, H6 {
font-family: Arial, Helvetica, sans-serif;
font-weight: normal;
}

H1 {font-size: xx-large;
font-weight: bold;
text-align: center }

H2 {font-weight: bold;
font-size: large;
text-align: center}

H3 {text-align: left;
font-size: large;
font-weight: normal;
font-style: oblique}

H4 {font-style: oblique;
font-size: medium;
text-align: left}

H5 {font-size: medium}
H6 {font-size: medium}

body {
background-color: #FFF;
background-image: url("/images/background");
color: #000;
padding: 0px;
margin: 0px
}

dt { font-size: large;
font-weight: normal;
font-family: monospace }

dd { font-size: medium;
font-weight: normal;
font-family: monospace }

p {
margin: 1ex 0.8ex;
}

table td, table th, p, li {
font-size: medium;
font-family: Arial, Helvetica, sans-serif
}

pre {
white-space: pre;
padding: 0.3em 0.4em
}

pre.pretty {
font-family: Arial, Helvetica, sans-serif
}

img {
border: none;
}

li {
padding: 0.2em 0
}

.fineprint {
font-size: 80%;
font-style: italic
}

.author {
font-size: 130%;
font-weight: bold}

.title {
text-align: left;
padding: 0.2ex 0.3ex;
border: solid 0.3ex #DEF;
margin: 0.3ex 0.4ex 0.2ex 0;
}

/* End */