body {
 background-color: #A89CAA;
 color: #000000;
 height: 100%;
 margin: 0;
 padding: 0;
 width: 100%;
}

.command {
 font-size: 1.5em;
 font-weight: bold;
 margin-bottom: 0.5em;
 text-decoration: underline;
}

.example {
 background-color: #F0F0E0;
 border-color: #C0C0C0;
 border-style: dashed;
 border-width: 1px;
 color: #000000;
 margin-bottom: 1em;
 margin-left: 2em;
 margin-right: 2em;
 margin-top: 1em;
 padding-bottom: 1em;
 padding-left: 1em;
 padding-right: 1em;
 padding-top: 1em;
}

.item {
 margin-bottom: 1em;
 margin-left: 0.5em;
 margin-right: 0.5em;
 margin-top: 1em;
 padding-bottom: 1em;
}

.linksTitle {
 background-color: #A89CAA;
 color: #666699;
 font-size: 1.1em;
 font-weight: bold;
}

.p {
 text-indent: 2em;
 text-align: justify;
}

.parameters:before {
 content: "Parameters: ";
 font-weight: bold;
}

.parameters {
}

.parameters dt {
 padding-left: 1em;
 padding-right: 1em;
}

.note:before {
 content: "Note: ";
 font-weight: bold;
}

.note {
 font-weight: normal;
 margin-left: 1em;
 margin-right: 1em;
 text-align: justify;
}

.strong {
 font-weight: bold;
}


.titleOfChapter {
 background-color: #666699;
 color: #FFFFFF;
 font-size: 1.4em;
 font-weight: bold;
 margin-bottom: 1em;
 margin-top: 1em;
 text-align: center;
}


#content {
 background-color: #FFFFFF;
 border-right-color: #000000;
 border-right-style: solid;
 border-right-width: 1px;
 color: #000000;
 height: 100%;
 left: 0;
 margin: 0;
 padding: 0.5em;
 vertical-align: top;
 width: 80%;
}

#contents {
 padding: 0.5em;
}

#contentsTitle {
 background-color: #FFFFFF;
 color: #666699;
 font-size: 1.5em;
 font-weight: bold;
}

#links {
 background-color: #A89CAA;
 color: #FFFFFF;
 height: 100%;
 padding-top: 4em;
 padding-left: 0.5em;
 vertical-align: top;
 width: 20%;
}

#links a, #links a:active, #links a:hover, #links a:visited  {
 background-color: #A89CAA;
 color: #FFFFFF;
 text-decoration: none;
}

#mainTable {
 border-style: none;
 margin: 0;
 padding: 0;
}

#titleOfPage {
 background-color: #FFFFFF;
 color: #666699;
 font-size: 3.5em;
 font-weight: bold;
 margin-bottom: 0.2em;
 margin-left: 0.2em;
 text-align: left;
 vertical-align: top;
}

#line {
 border-bottom-color: #666699;
 border-bottom-style: solid;
 border-bottom-width: 2px;
 margin-left: 0.5em;
 margin-bottom: 0.5em;
 width: 95%;
}