/* Contents of Internet Explorer CSS file (execstyles.css):*/


html, body {
    font-family:    Arial;
    font-size:      9pt;
    height:         100%;
    width:          100%;
}

.BodyTextNoSpacing {
    font-family:    Arial, Verdanda, Helvetica,sans-serif;
    font-size:      9pt;
    font-weight:    regular;
    line-height:    10pt;
}

.BodyText {
    font-family:    Arial, Verdanda, Helvetica,sans-serif;
    font-size:      9pt;
    font-weight:    regular;
    line-height:    15pt;
}
.BodyTextBold {
    font-family:    Arial,Verdanda, Helvetica,sans-serif;
    font-size:      9pt;
    font-weight:    bold;
    line-height:    15pt;
}
.HeadingText {
    font-family:    Arial,Verdanda, Helvetica,sans-serif;
    font-size:      20pt;
    font-weight:    regular;
    line-height:    22pt;
}
.HeadingTextBold {
    font-family:    Arial,Verdanda, Helvetica,sans-serif;
    font-size:      20pt;
    font-weight:    bold;
    line-height:    22pt;
}
.TitleText {
    font-family:    Arial,Verdanda, Helvetica,sans-serif;
    font-size:      12pt;
    font-weight:    regular;
    line-height:    15pt;
}
.TitleTextBold {
    font-family:    Arial,Verdanda, Helvetica,sans-serif;
    font-size:      12pt;
    font-weight:    bold;
    line-height:    15pt;
}
.FrontTitle {
    font-family:    Arial,Verdanda,Helvetica,sans-serif;
    font-size:      14pt;
    font-weight:    regular;
}


div.menuBarFront,
div.menuBarFront a.menuButtonLeft,
div.menuBarFront a.menuButtonRight,
div.menuFront,
div.menuFront a.menuItem {
  font-family: Arial, sans-serif;
  font-size: 18pt;
  font-style: normal;
  font-weight: normal;
  color: #000000;
}

div.menuBarFront {
  background-color: transparent;  
  padding: 4px 2px 4px 2px;
  text-align: left;
}

div.menuBarFront a.menuButtonFront {
  background-color: #CCCCCC;
  border: 2px outset #ffffff;
  color: #000000;
  cursor: default;
  position: relative;
  display:  inline;
  display:  -moz-inline-box;
  display:  inline-block;
  margin: 1px;
  width: 33%;
  text-align:   center;
  padding: 2px 6px 2px 6px;  
  position: relative;
  text-decoration: none;
  top: 0px;

  z-index: 100;
}
div.menuBarFront a.menuButtonFront:hover {
  background-color: #999999;
  border: 2px outset #ffffff;
  color: #000000;
}

div.menuBarFront a.menuButtonActiveFront,
div.menuBarFront a.menuButtonActiveFront:hover {
  background-color: #5050f0;
  border: 1px inset #ffffff;
  color: #ffffff;
  left: 1px;
  top: 1px;
}

span.separator {
  position: relative;    
  display:  inline;
  display:  -moz-inline-box;
  display:  inline-block;
}