body {
    margin: 1em 1em;
 	background-color: white;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 90%;
    max-width: 800px;
    margin-left: auto;
    margin-right: auto;
}

A:link	{text-decoration: underline; color: #000080;}
A:visited	{text-decoration: underline; color: #000080;}
A:hover	{text-decoration: underline; color: #0000FF;}
A:active	{text-decoration: none; color: #000000;}

h1 { font-size: 150%; color: #313173; }
h2 { font-size: 150%; color: #313173; }
h3 { font-size: 110%; color: #395A94; }
h4 { font-size: 105%; color: black; }
h5 { font-size: 100%; color: black; }

h1, h2, h3 { margin-top: 2em; }

img { border-width: 0 }

.important, .warning, .note { border-radius: 1em; -moz-border-radius: 1em; -webkit-border-radius: 1em; padding: 1em 1em; margin-bottom: 1em; margin-top: 1em }
.important p, .warning p, .note p { margin-bottom: 0 }
.important h3, .warning h3, .note h3 { color: black; margin-top: 0 }

.important { background-color: #EFE1B8; }
.warning   { background-color: #FFCCCC; }
.note      { background-color: #E0E0FF; }

li p { margin: 0.5em auto }

.informaltable table { border-collapse: collapse }
.informaltable table th { background-color: #EEEEEE }

td.side-image { padding: 0; }
td.side-image p { margin-top: 0 }
td.side-image img { margin-left: 1em }

.application { color: #00538E; font-weight: bold; font-style: normal }
.guimenu, guisubmenu, .guimenuitem { color: #00538E; font-weight: bold; font-style: italic }

.guibutton { font-style: italic }

.section p { text-align: justify } 


.res { color: red }
.sup { color: green }

.in  { color: green }
.out { color: red }
.inout { color: blue }

.buy { color: green }
.sell { color: red }

div.variablelist table td { vertical-align: top }
div.variablelist table td > p:first-child { margin: 0.25em 0 }
div.variablelist table tr > td:first-child p { text-align: left; white-space: nowrap; }