body {
   font-family: verdana, arial, helvetica, sans-serif;
   text-align: justify;
   font-size: 12pt;
}

/*#############################################################*/

h1 {
   background-color: #182160;
   margin-left: 8px;
   margin-right: 8px;
   margin-bottom: 0px;
   margin-top: 0px;
   padding-top: 30px;
   padding-bottom: 18px;
   padding-left: 30px;
   color: #d1d3df;
   font-family: monospace, courier new, courier;
   display: block;
   font-weight: normal;
   font-size: 1.5em;
}

#jsptutorial a {
   color: #d1d3df;
   font-family: monospace, courier new, courier;
   text-decoration: none;
}

h2 {
   display: block;
   margin : 0;
   padding: 0;
   padding-left: 35px;
   padding-top: 3px;
   padding-bottom: 3px;
   font-size: 0.9em;
   background-color: #cccccc;
   color: #000000;
}

.nav_header {
   background-color: #182160;
   margin-left: 8px;
   margin-right: 8px;
   margin-bottom: 0px;
   margin-top: 0px;
   padding: 0;
   padding-right: 20px;
   font-size: 0.8em;
   display: block;
}


ul.submenu_links {
   margin: 0;
   padding: 0;
   list-style-type: none;
   text-align: right;
}


li.header_menu {
   color: #ffffff;
   margin-left: 5px;
   margin-right: 5px;
   padding: 0;
   display: inline;
}

#nav_header ul li a {
   text-decoration: none;
}

li.header_menu a {
   color: #ffffff;
}

li.header_menu a:hover {
   color: #ffff00;
}

div.base {
   border: 2px solid #182160;
   margin-left: 8px;
   margin-right: 8px;
   margin-bottom: 0px;
   margin-top: 0px;
}

div.content {
   padding-left: 35px;
   padding-right: 35px;
   padding-top: 5px;
   padding-bottom: 5px;
   background-color: #ffffff;
   font-size: 0.9em;
   line-height: 1.4em;
   text-decoration: none;
   font-style: normal;
}

div.content ul.inContent {
   margin: 0;
   padding: 0;
   list-style: none;
   text-align: left;
}

div.content ul.indented {
   text-align: left;
}

div.content ul.contentList {
   margin: 0;
   margin-bottom: 35px;
   margin-top: 5px;
   padding: 0;
   list-style: none;
   text-align: left;
   font-size: 0.9em;
   line-height: 1.5em;
}

div.content ul li {
   margin: 0;
   padding: 0;
   list-style-position: inside;
   text-align: justified;
}

div.content li a {
   text-align: left;
   text-decoration: none;
}

div.content li a:hover {
   text-decoration: none;
}

div.subchapters {
   margin-left: 0.5cm;
   margin-bottom: 1cm;
}

div.subchapter_header {
   margin-left: 0cm;
}

#topicOverview tbody tr td p a {
   text-decoration: none;
}

p.up {
   position: relative;
   width: 100%;
   border-bottom: 1px solid #666666;
   margin-top: 16pt;
   margin-bottom: 40px;
}

p.up span {
   color: #666666;
}

p.up span a {
   display: block;
   color: #666666;
}

p.up span a.link {
   display: block;
   text-decoration: none;
   color: #666666;
}

p.up span a.link:hover {
   display: block;
   text-decoration: none;
   color: #333333;
   cursor: pointer;
}

p.up span a img {
   position: absolute;
   bottom: 0;
   right: 0;
   text-decoration: none;
   color: #666666;
}

p.up span a span {
   position: absolute;
   right: 17px;
   top: -12pt;
   font-size: 10pt;
   color: #666666;
   text-decoration: none;
}

p.up span a:hover span {
   color: #333333;
   text-decoration: none;
   cursor: pointer;
}

p.footnote {
   font-size: 0.9em;
   margin-left: 0.5cm;
   margin-right: 0.5cm;
}


/*#############################################################*/
code {
   font-family: monospace, courier new, courier;
}

td {
   font-family: verdana, arial, helvetica, sans-serif;
   font-size: 11pt;
   line-height: 15pt;
   text-decoration: none;
   font-style: normal;
}

td.normal {
   font-family: verdana, arial, helvetica, sans-serif;
   font-size: 11pt;
   text-decoration: none;
   font-style: normal;
   text-align: left;
}


a:link {
   text-decoration: none;
   font-style: normal;
}

a:hover {
   font-style: normal;
}

a:visited {
   text-decoration: none;
   font-style: normal;
}

a:link.active {
   text-decoration: none;
   font-style: normal;
}

a:visited:hover {
   text-decoration: underline;
   font-style: normal;
}

a:link:hover {
   text-decoration: underline;
   font-style: normal;
}

a:link:visited:hover {
   text-decoration: underline;
   font-style: normal;
}

span.plain-text {
   font-family: verdana, arial, helvetica, sans-serif;
   text-align: justify;
}

span.plain-text-centered {
   font-family: verdana, arial, helvetica, sans-serif;
   text-align: center;
   font-size: 9pt;
   line-height: 12pt;
   text-decoration: none;
   font-style: normal;
}

span.lastChanges {
   font-family: verdana, arial, helvetica, sans-serif;
   font-size: 9pt;
   line-height: 12pt;
   text-decoration: none;
   font-style: normal;
}

p.small {
   font-family: verdana, arial, helvetica, sans-serif;
   font-size: 9pt;
   line-height: 12pt;
   text-decoration: none;
   font-style: normal;
   text-align: center;
   margin-left: 2cm;
   margin-right: 2cm;
}

p.index_list {
   font-family: verdana, arial, helvetica, sans-serif;
   font-size: 11pt;
   line-height: 12pt;
   text-decoration: none;
   font-style: normal;
   text-align: left;
}

.content_header {
   font-size: 12pt;
   font-weight: bold;
   line-height: 14pt;
   margin-bottom: 10px;
}

.sideline_header {
   font-size: 11pt;
   font-weight: bold;
   line-height: 13pt;
   margin-bottom: 10px;
   text-align: center;
}

.editor_style {
   font-size: 9pt;
   line-height: 9pt;
}

p.sub_header {
   font-size: 10pt;
   font-weight: bold;
   line-height: 13pt;
   font-style: italic;
}

p.minimal_header {
   font-size: 9pt;
   font-weight: bold;
   line-height: 12pt;
}

p {
   text-align: justify;
}

p.normal {
   text-align: left;
}

span.imageCaption {
   text-align: justify;
   font-size: 9pt;
   line-height: 12pt;
}

li {
   text-align: justify;
}

td {
   text-align: justify;
}

td.normal {
   text-align: left;
}

.notyet {
   color: blue;
}

span.hint {
   background-color: #ffffaa;
   border-bottom: 1px dotted #cccccc;
}


div.centered {
   text-align: center;
}

div.sideline {
   border: 1px dotted #666666;
   background-color: #cccccc;
   margin-left: 1.5cm;
   margin-right: 1.5cm;
   padding: 10px;
}

div.codefragment_inner {
   margin-top: 0.3cm;
   margin-bottom: 0.3cm;
   padding: 5px;
   overflow: auto;
   border: 1px solid #000000;
   background-color: #dddddd;
   font-family: monospace, fixed, courier new, courier;
}