BODY {
    font-family: "Verdana", "Arial", "Helvetica", sans-serif;
    font-size: 11px;
    line-height: 150%;
    margin-left: 1em;
    margin-right: 1em;
}

A:active {
    color: #FF0080;
    text-decoration:underline;
}

A:visited {
    color: #1E5388;
    text-decoration:underline;
}

P, DL, DT, DD, BLOCKQUOTE {
    color: #000000;
    margin-bottom: 3px;
    margin-top: 3px;
    padding-top: 0;
}

OL, UL, P {
    margin-top: 6px;
    margin-bottom: 6px;
}

BLOCKQUOTE {
    margin-right: 0;
}

H1 {
    color: #000000;
    font-size: 20px;
    font-weight: bold;
    padding-top: 5px;
    padding-bottom: 3px;
}

H2 {
    font-size: 16px;
    font-weight: bold;
    padding-top: 5px;
    padding-bottom: 3px;
}

H3 {
    color: #1E5388;
    font-size: 12px;
    font-weight: bold;
    background-color: #E9F0F8;
    padding-top: 5px;
    padding-bottom: 3px;
}

H4 {
    font-size: 11px;
    font-weight: bold;
    color: #1E5388;
    margin-top: 20px;
    margin-bottom: 0;
}

H5 {
    color: #000000;
    font-size: 11px;
    font-weight: bold;
    margin-top: 10px;
    margin-bottom: 0;
    text-indent:10px;
}

div.table {
	padding: 10px;
}

div.table p.title {
    font-style: italic;
    margin-top: 0;
    margin-bottom: 0;
    text-indent:0;
    text-align: center;
}

div.figure p.title {
    font-style: italic;
    margin-top: 0;
    margin-bottom: 0;
    text-indent:0;
    text-align: center;
}

div.example p.title {
    font-style: italic;
    margin-top: 0;
    margin-bottom: 0;
    text-indent:0;
    text-align: center;
}

div.equation p.title {
    font-style: italic;
    margin-top: 0;
    margin-bottom: 0;
    text-indent:0;
    text-align: center;
}

div.procedure p.title {
    font-style: italic;
    margin-top: 0;
    margin-bottom: 0;
    text-indent:0;
    text-align: center;
}

div.task p.title {
    font-style: italic;
    margin-top: 0;
    margin-bottom: 0;
    text-indent:0;
    text-align: center;
}

div.note, div.warning, div.tip, div.info, div.important {
    line-height: 130%;
    margin: 10px 0 10px 0;
    color: #000000;
    border-top: 2px solid #000000;
    border-bottom: 1px solid #000000;
    padding-top: 5px;
    padding-bottom: 5px;
}

div.note h3, div.warning h3, div.tip h3, div.info h3, div.important h3 {
    background-color: transparent;
    margin-top: 5px;
}

div.note *, div.warning *, div.tip *, div.info * {
    margin-left: 10px;
    margin-right: 10px;
}

TABLE  {
    border-collapse: collapse;
    border-spacing: 0;
    border: 1px thin black;
    empty-cells: hide;
    margin: 10px 30px 5px 30px;
    width: 90%
}

table[summary="Callout list"] {
    border-width: 0;
}

TH  {
    background-color: #F8F8E9;
    color: #646420;
    font-size: 11px;
    font-weight: bold;
    padding: 5px;
}

TD  {
    font-size: 11px;
    text-indent:0;
    padding: 5px;
}

PRE.programlisting {
    font-family: "Courier New", "Courier", monospace;
    line-height: 130%;
    color: #666666;
    background-color: #F6F6F6;
    padding: 10px;
    border: 1px solid #000000;
    margin-bottom: 5px;
    text-indent:0;
    margin-top: 5px;
}

PRE.screen {
    font-family: "Courier New", "Courier", monospace;
    line-height: 140%;
    color: #FFFFFF;
    background-color: #000000;
    padding: 10px;
    width: 100%;
    border: 4px ridge #FFFFFF;
    text-indent: 0;
}

PRE.synopsis {
    font-family: "Courier New", "Courier", monospace;
    line-height: 130%;
    color: #666666;
    white-space: nowrap;
    padding: 10px;
    margin-bottom: 5px;
    text-indent:0;
    margin-top: 5px;
}

HR  {
    width: 100%;
    height: 1px;
    background-color: #CCCCCC;
    border-width: 0;
    padding: 0;
    color: #CCCCCC;
}

.variablelist {
    padding-top: 10px;
    padding-bottom:10px;
    margin:0;
}

.term {
    font-weight:bold;
}

.mediaobject {
    padding-top: 30px;
    padding-bottom: 30px;
}

tt, code, .property {
    font-family: "Lucida Console", "Courier", monospace;
}

.screen * .lineannotation {
	color: #4422FF;
}

.programlisting * .lineannotation {
	color: green;
}

span.remark {
    color: red;
    background-color: #FFFFD0;
}