body { 
    font-family:Verdana,Arial,Helvetica,sans-serif; 
    background-color:#fff7e0;
    margin-bottom:16px; 
    margin-top:16px; 
    margin-left:30px; 
    margin-right:30px; 
}

p {
    text-align:justify;
    margin-bottom:1.5em;
}

p.pressClipping,ul.pressClipping {
    text-align:left;
    margin-left:60px;
    font-style:italic;
    color:#555555;
    }

h1 { 
    font-size:20pt; 
    font-weight:bold;
    color:#ffffff;
    border-bottom:solid thin black;
}

h2 { font-size:16pt; }
h3 { font-size:12pt; }

li { margin-bottom:4pt; }

.ot { font-variant:small-caps }
.publ{ margin-left:-30px }
a:link { text-decoration:underline; color:#0000FF; }
a:visited { text-decoration:underline; color:#000080; }
a:hover { text-decoration:underline; background-color:#ffd76b; }
a:active { text-decoration:underline; color:#FF0000; }
code { font-family: monospace }
span.syntax { font-family: sans-serif; font-style:italic; }
span.green { color:#00AA00 }
span.red { color:#AA0000 }
span.nonterminal { font-family: sans-serif; font-weight: bold; font-style: italic; }
span.comment { font-family: sans-serif; font-style: italic; }
span.definition { font-family:sans-serif; font-weight:bold; font-style:italic; }
span.notice { font-family:sans-serif; font-weight:bold; font-style:italic; color:#E00000; }

p.note{
    font-style:italic;
    color:#ffcc33;
    font-size:8pt;
    text-align:right;
    margin-top:60pt
}

dt { font-weight:bold }

hr { color:#ffcc33;
     background-color:#ffcc33;
     height:8pt;
     margin-top:2em;
     margin-bottom:2em;
     border:0pt
    }

table { border:none }
th { vertical-align:top;
     padding-top:4pt}
td { vertical-align:top;
     padding-left:8pt;
     padding-top:4pt}

table.heading{
    padding:0pt;
    width:100%;
    background-color:#ffcc33
}
td.heading{
    vertical-align:middle;
    padding-right:8pt
}
tr.inverse{
    background-color:#ffcc33;
}

img.in-text-right{
    border:none;
    float:right;
    margin-top:20px;
    margin-left:2ex
    }
img.in-text-left{
    border:none;
    float:left;
    margin-top:20px;
    margin-right:2ex
    }
img.link{
    border:none;
    margin-right:0.5ex
    }

