pre {text-indent: 15px}

  #tabmenu {
    color: #ffffff;
    border-bottom: 2px solid black;
    margin: 10px 0px 0px 0px;
    padding: 0px;
    z-index: 1;
    padding-left: 0px
    align:left;
    }

  #tabmenu li {
    display: inline;
    overflow: hidden;
    list-style-type: none; }

  #tabmenu a, a.active {
    color: #ffffff;
    background: #5364BE;
    font: bold 1.15em Arial, sans-serif;
    border: 2px solid black;
    padding: 2px 5px 0px 5px;
    margin: 0px;
    text-decoration: none; 
  }

  #tabmenu a.active {
    background: #FFFFFF;
    border-bottom: 3px solid #FFFFFF;
    color: #ffffff; 
  }

  #tabmenu a:hover {
    color: #ffffff;
    background: #94A5FF; }

  #tabmenu a:visited {
    color: #ffffff; }

  #tabmenu a.active:hover {
    background: #94A5FF;
    color: #000000; }

  #tabmenu a.active:visited {
    color: #000000;
  }

  #content {font: 0.9em/1.3em Arial, sans-serif;
    background: #ffffff;
    padding: 5px;
    border: 2px solid black;
    border-top: none;
    z-index: 2; }

  #content a {
    text-decoration: none;
    color: #333399; }

  #content a:hover { text-decoration: underline; }