BODY {background-color: rgb(250,239,223)}

H1, H2, H3 {font-family: "Arial", serif}

H1 {font-size: 140%}
H1 {text-indent: 1%}
H2 {font-size: 120%}
H2 {text-indent: 2%}
H3 {font-size: 100%}
H3 {text-indent: 3%}


P {font-family: Times New Roman}
P {text-align: justify}
P {font-size: 120%}
P {line-height: 17pt;}
P {margin-right: 3%}

.list {font-style: italic; text-indent: 5%}
.example {font-family: "Arial"; text-indent: 10%}
.tree {text-indent: 10%; vertical-align: baseline}
.term {color: red}
.table {text-align: center}