body {
 background: @UI_BODY_BACKGROUND@;
 color: @UI_BODY_FOREGROUND@;
 }

/*
.app h3 {
 color: @UI_SECTION_FOREGROUND@;
 background-color: @UI_SECTION_BACKGROUND@;
 }
 */
 
.app h3 
{
  font-family: sans-serif;
  border: solid 1px #999999;
  padding:6px;
  background-color:#dddddd;
  color:#990000;
  font-size:12pt;
  margin: 1pt;
  margin-top: 6pt;
  /* margin-left: -10px; */
}

.app h3 a
{
  font-weight: normal;
}

.app h4 {
 color: @UI_SUBSECTION_FOREGROUND@;
 background-color: @UI_SUBSECTION_BACKGROUND@;
 }

.a td { 
 background: @UI_TABLE_ROW_ODD_BACKGROUND@;
 color: @UI_TABLE_ROW_ODD_FOREGROUND@;
 }

.b td { 
 background: @UI_TABLE_ROW_EVEN_BACKGROUND@;
 color: @UI_TABLE_ROW_EVEN_FOREGROUND@;
 }

.app th {
 background-color: @UI_TABLE_HEADER_BACKGROUND@;
 color: @UI_TABLE_HEADER_FOREGROUND@;
 }

div#banner {
 border-top: 1px solid @UI_BANNER_BORDER_TOP@;
 border-bottom: 1px solid @UI_BANNER_BORDER_BOTTOM@;
 }

#banner, #banner td { 
 background: @UI_BANNER_BACKGROUND@;
 color: @UI_BANNER_FOREGROUND@;
 }

#leftcol {
 background: @UI_NAVCOL_BACKGROUND@;
 color: @UI_NAVCOL_FOREGROUND@;
 border-right: 1px solid @UI_NAVCOL_BORDER_RIGHT@;
 border-bottom: 1px solid @UI_NAVCOL_BORDER_BOTTOM@;
 border-top: 1px solid @UI_NAVCOL_BORDER_TOP@;
}

#navcolumn {
 background: @UI_NAVCOL_BACKGROUND@;
 color: @UI_NAVCOL_FOREGROUND@;
 border-right: none;
 border-bottom: none;
 border-top: none;
 }

#breadcrumbs {
 background-color: @UI_BREADCRUMBS_BACKGROUND@;
 color: @UI_BREADCRUMBS_FOREGROUND@;
 border-top: 1px solid @UI_BREADCRUMBS_BORDER_TOP@;
 border-bottom: 1px solid @UI_BREADCRUMBS_BORDER_BOTTOM@;
 }

#source {
 background-color: @UI_SOURCE_BACKGROUND@;
 color: @UI_SOURCE_FOREGROUND@;
 border-right: 1px solid @UI_SOURCE_BORDER_RIGHT@; 
 border-left: 1px solid @UI_SOURCE_BORDER_LEFT@; 
 border-top: 1px solid @UI_SOURCE_BORDER_TOP@; 
 border-bottom: 1px solid @UI_SOURCE_BORDER_BOTTOM@; 
 margin-right: 7px;
 margin-left: 7px;
 margin-top: 1em;
 }

#source pre {
 margin-right: 7px;
 margin-left: 7px;
 }

a[name]:hover, #leftcol a[name]:hover {
 color: inherit !important;
 }

a:link, #breadcrumbs a:visited, #navcolumn a:visited, .app a:visited, .tasknav a:visited {
 color: @UI_HREF_LINK@;
 }

a:active, a:hover, #leftcol a:active, #leftcol a:hover {
 color: @UI_HREF_LINK_ACTIVE@ !important;
 }

a:link.selfref, a:visited.selfref {
 color: @UI_HREF_LINK_SELFREF@ !important;
 }

h3, h4 {
 margin-top: 1em;
 margin-bottom: 0;
 }

img.handle {
 border: 0;
 padding-right: 2px;
}

#navcolumn div div  {
 background-image: none;
 background-repeat: no-repeat;
}

#navcolumn div div {
  padding-left: 10px;
}