body
{
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      font: normal 12px Verdana, Arial, Helvetica, sans-serif;
      text-align: center;
      background-color: #013650;
      behavior: url('csshover.htc'); /* WinIE behavior call */
}

/* debug = paragraph */
p
{
      /*border: 1px dotted navy;*/
}

/* Replacement for the normal paragraph when images are floated near the texts
      (IE6 doesn't show them correctly! */
.par
{
      padding-bottom: 10px;
      height: 1%; /* this should fix the infamous 'disappearing text' bug in IE6.x */
      /*border: 1px dotted red;*/
}

div#page-frame
{
      position: relative;
      width:900px;
      margin-left: auto;
      margin-right: auto;
      text-align: left;
}

div#main-border
{
      position: absolute;
      z-index: 1;
      top: 10px;
      right: 0px;
      width: 900px;
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      background-color: #FFF7E8;
      border: 2px solid #7088B0;
      _height: 725px;
      /*    let op: _height is een HACK voor IE
            min-height is een property die IE niet kent en Mozilla FF wel
            door de underscore snapt FF het niet en wordt de property genegeerd.. terwijl IE het denkt te snappen..
      */
      min-height: 725px;
      voice-family: "\"}\"";
      voice-family: inherit;
}
html>body #main-border
{
  height: auto; /* Hack voor IE of Firefox om hoogte aan te passen */
}

/* Header styles */
div#head1
{
      position: absolute;
      margin: 0px 0px 0px 0px;
      padding: 2 0 0 0;
      z-index: 2;
      width: 900px;
      _width: 900px;
      height: 118px;
      color: #006699;
/*      background-color: #006699; david */
      background: #006699 url(bg.jpg) center left no-repeat;


}

.desc-text
{
      font-size: 110%;
      padding-bottom: 10px;
}

.head-text
{
      float: left;
      text-align: center;    /* david-was remarked out */
      margin-top: 35px;
      margin-left: 5px;
      width: 900px;
      color: #FFFF99;
      font-weight: bold;
      font-size: 250%;
      font-variant: small-caps;
      /*font-style: oblique;*/
      border: 0px solid blue;
}

.head-archive-pic
{
      float: left;
      border: 50px;



}

.head-text2
{
      color: #FFFFFF;
      font-weight: bold;
      font-size: 160%;
      font-variant: small-caps;
}

.head-text3
{
      color: #E7EFF8;
      font-weight: bold;
      font-size: 120%;
      font-variant: small-caps;
      height: 28px; /* this should fix the infamous 'disappearing text' bug in IE6.x */
}








/* Top menu styles */
.top-menu
{
      position: absolute;
      z-index: 2;
      width: 900px;
      _width: 900px;
      top: 95px;
      right: 0px;
      text-align: right;
      padding: 1px 0 1px 0;
      background-color: #006699;
      /*border-bottom: 2px solid #7088B0;*/
      color: #7AC6F3;

}

.top-menu ul
{
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      text-align: right;
}

.top-menu ul li
{
      list-style: none;
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      display: inline;
}

.top-text-left
{
      float: left;
      top: 0px;
      margin-left: 4px;
      text-align: left;
      /*border: 1px dotted yellow;*/
      font-weight: bold;
      font-size: 90%;
      width: 60%;
}

.top-text-right
{
      float: right;
      top: 0px;
      margin-right: 4px;
      text-align: right;
      /*border: 1px dotted yellow;*/
      color: white;
      font-weight: bold;
      font-size: 90%;
      width: 30%;
}

.top-menu a
{
      color: #E7EFF8;
      padding: 0px 10px 0px 5px;
      border-right: 2px solid #E7EFF8;
      text-decoration: none;
      font-weight: bold;

}

.top-menu li a.no-border
{
      border-right: 0px;
      padding-right: 2px;
}

.top-menu li a:hover
{
      color: #FF8000;
}

/* Left menu styles */
div#left-menu
{
      position: absolute;
      float: left;
      top: 124px;
      left: 4px;
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      width: 124px;
      margin: -1px 0 0 -1px;
}

div#menu-title
{
      margin: 2px;
      height: 14px;
      color: #FFFFFF;
      text-decoration: none;
      text-align: center;
      font-weight: bold;
      background-color: #006699;
}

div#left-menu ul
{
      margin: 0 0 0 0;
      padding: 0 0 0 0;
      width: 130px;
      background: #F5F5F5;
      border: 2px solid #7088B0;
}

div#left-menu ul.level2
{
      background: #F5F5F5;
}

div#left-menu ul.level3
{
      background: #F5F5F5;
}

div#left-menu li
{
      position: relative;
      list-style: none;
      margin: 0 0 0 0;
  border-bottom: 1px solid #7088B0;
}

div#left-menu li.noborder
{
  border-bottom: 0px solid #7088B0;
}

div#left-menu li:hover
{
      /*background-color: #CEDFF1;*/
}

div#left-menu li.submenu
{
      background: url(../common/submenu.gif) 95% 50% no-repeat;
}

div#left-menu li.submenu:hover
{
      /*background-color: #CEDFF1;*/
}

div#left-menu li a
{
      display: block;
      padding: 2px 0 2px 4px;
      text-decoration: none;
      width: 124px;
      color: #665E4D;
      font-weight: bold;
      border-left: 0px solid #BBB;
}

div#left-menu li a:hover
{
      color: #FF8000;
}

div#left-menu>ul a
{
      width: auto;
}

div#left-menu ul ul
{
      position: absolute;
      top: 0px;
      left: 128px;
      _left: 124px;
  display: none;
}

div#left-menu ul.level1 li.submenu:hover ul.level2,
div#left-menu ul.level2 li.submenu:hover ul.level3
{
      display:block;
}

/* Footer styles */
div#footer
{
      clear:both;
      position: absolute;
      z-index: 5;
      margin: 0 0 0 0;
      padding: 2px 0 2px 0;
      bottom: -1px;
      width: 900px;
      _width: 900px;
      border-top: 1px solid #888888;
      height: 4px;
      background-color: #006699;
      /*border-bottom: 2px solid #7088B0;*/
      font-size: 90%;
      font-weight: bold;
      color: #7AC6F3;
}

/* Extra space below footer */
div#below-footer
{
      position: absolute;
      z-index: 2;
      left: 0px;
      bottom: -20px;
      width: 900px;
}

/* Extra attention givers... */
div#stats
{
      margin: 0 0 0 1px;
      padding: 0 0 0 0;
      width: 128px;
      background-color: blue;
      border: 1px solid black;
}

div#main
{
      top: 130px;
      margin: 0 0 0 0;
      padding: 123px 4px 20px 0px;
      width: 900px;
      color: black;
      border: 0px solid pink;
      min-height: 100px;
      voice-family: "\"}\"";
      voice-family: inherit;
}
html>body #main
{
  height: auto; /* Hack voor IE of Firefox om hoogte aan te passen */
}


div#border-content
{
      margin: 0px 2px 0 140px;
      padding: 0px 5px 5px 5px;
      _padding: 10px 5px 5px 5px;
      background-color: #FEFEE2;
      border: 2px solid #7088B0;
      min-height: 100px;
      voice-family: "\"}\"";
      voice-family: inherit;
}
html>body #border-content
{
  height: auto; /* Hack voor IE of Firefox om hoogte aan te passen */
}


div#border-content h1
{
      font-size: 110%;
      padding: 0 2px 0 2px;
      height: 16px;
      background-color: #FFFF99;
      color: #006699;
      border: 1px solid #7088B0;
}


div#border-content h2
{
      font-size: 140%;
      font: Verdana, Arial, Helvetica, sans-serif;
      padding: 0 0 5px 0;
      color: black;
      font-weight: bold;


}

div#border-content h3
{
      font-size: 120%;
      font: Verdana, Arial, Helvetica, sans-serif;
      padding: 0 35 5px 50;
      color: black;

}

div#border-content h4
{
      font-size: 90%;
      font: Verdana, Arial, Helvetica, sans-serif;
      color: black;
}

div#border-content h5
{
      text-align: center;
      font: normal 13px Verdana, Arial, Helvetica, sans-serif;
      padding: 0 2px 0 2px;
      height: 16px;
      background-color: #CCFFFF;
      color: #006699;
      border: 1px solid #7088B0;
}


div#border-content a
{
      padding: 2px 0 2px 0;
      text-decoration: none;
      color: #006699;
      font-weight: bold;
}

div#border-content a:hover, a:active
{
      color: #FF8000;
}

div#paging

{
      text-align: center;
      color: #006699;
      font-size: 100%;
      padding-bottom: 3px;
      padding-top: 3px;
      /*font-weight: bold;  david-originally included */
}


/* Game Detail screen */
div#game-detail-content
{
      padding: 5px 5px 5px 5px;
      margin: 0px 0px 0px -2px;
      height: 100px;
      background-color: white;
      border: 1px solid #7088B0;

      /*min-height: 100px;*/
  voice-family: "\"}\"";
  voice-family: inherit;
}
html>body #game-detail-content
{
  height: auto; /* Hack voor IE of Firefox om hoogte aan te passen */
}

/* Picture styles: */
.pict1
{
      float: right;
      background-color: #F5F5F5;
      border: 1px solid #F5F5F5;
      padding-left:10px;
      padding-right:5px;
      padding-top:1px;
      padding-bottom:1px
}

.pict2
{
      float: left;
      background-color: #F5F5F5;
      border: 1px solid #F5F5F5;
      padding-left:5px;
      padding-right:10px;
      padding-top:1px;
      padding-bottom:1px
}


/* styles for the <hr>: */
hr
{
      text-align: right;
      width: 100%;
      height: 2px;
      color: #006699;
      border: none;
} /* For Internet Explorer */

html>body hr
{
      clear: both;
      margin-right: 0;
      width: 100%;
      height: 2px;
      background-color: #006699;
      border: 0px solid #006699;
} /* For Opera and Gecko-based browsers */

/* Styles for news items with pictures: */
.news-area
{
      float: left;
      width: 740px;
      /*border: 1px dotted red;*/
}


.news-border-right
{
      float: right;
      margin: 0px 5px 0px 0px;
      _margin: -10px 5px 0px 0px;
      padding: 5px 5px 5px 5px;
      background-color: white;
      border: 1px solid #7088B0;
}

.news-border-left
{
      float: left;
      margin: 0px 5px 0 0px;
      padding: 5px 5px 5px 5px;
      background-color: white;
      border: 1px solid #7088B0;
}

/* form styles: */

label
{
      float: left;
      width: 25%;
      margin-right: 10px;
      padding-top: 3px;
      text-align: right;
}

fieldset
{
      padding: 10px;
      border: 1px solid #7088B0;
      /*background-color: #CEDFF1;*/
}

input.btn {
      margin-left: 0px;
      _margin-left: -130px;
      border: 2px outset #7088B0;
      background-color: #CEDFF1;
}

.input, .textarea
{
      border: 1px solid #7088B0;
      padding: 0px 0px 0px 4px;
      margin: 0px 0px 4px 0px;
      _margin: 0px 0px 3px 0px;
      background-color: white;
}

.error
{
      color: red;
      font-weight: bold;
}