1/* --- CONTENT --- */
2div.content {
3  margin: 0.5em;
4  padding: 1em;
5  margin-left: 12.2em;
6  background-color: #FFF;
7  border: 1px #acd233 solid;
8  /*min-height: 15em;*/
9}
10div.content * { margin-top: 0.5em; margin-bottom: 0.5em; }
11div.content h2 { border-bottom: 1px #444 solid; }
12div.content h3 { text-decoration: underline; font-size: 100%; margin: 1em 0 1em 0; }
13div.content a:link, div.content a:visited, div.content a:hover, div.content a:visited{ color: #0081ac; }
14div.content code { background-color: #EFE; border: 1px #444 dotted; }
15div.content pre { padding: 1em; background-color: #EFE; border: 1px #444 dotted; }
16div.content ul { margin-left: 3em; }
17div.content ol { margin-left: 3em; }
18div.content dd { margin-left: 3em; }
19div.content dt { font-weight: bold; margin: 2em 0 2em 0; }
20div.content .abstract { border: 2px #999 solid; background-color: #EEE; padding: 1em; color: #000; text-align: justify; }
21
22
23