html,body{
  /* background-color: #e5eeeb;*/
  background-color:white;
  background-color:#EAEAEA;
  background-color:#c6c9d8;
  background-color:#e6e8f1;
  background-color:#edf3fc;
  background-color:#d5e5f1;
  background-color:#dce8f1;



  margin-top:0px;
  margin-left:0px;
  margin-right:0px;
  padding:0px;
/*  height:100%; */
  font: 1.0em Sans, arial, helvetica;
  /* IE block level content centering workaround*/
  text-align:center;
}

a:link{
  color:#2e4155;
}
a:visited{
  color:#8f8f9a;
}

div.page{
  max-width: 980;
  /* IE 5 & 6 max-width bastardization */
  width:expression(
      document.body.clientWidth > (980) ?
          "980":
          "auto" );

  margin-left:auto;
  margin-right:auto;
  margin-top: 20px;
  padding:10px;
}


pre{
 white-space: pre-wrap;       /* css-3 */
 white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
 white-space: -pre-wrap;      /* Opera 4-6 */
 white-space: -o-pre-wrap;    /* Opera 7 */
 word-wrap: break-word;       /* Internet Explorer 5.5+ */

}
.xml-comment{
  text-size:smaller;
  color:#2255AA;
  background-color:#EFEFEF;

}


/*
 * Menu
 */
div.menu{
  margin-top:50px;
  margin-right:14px;
  text-align:right;
}

.inner-menu{
  text-align:left;
  display:inline;
  white-space: nowrap;
  height:1%;
}

/*
 * These menu items are using inline-block in IE and table-cell in Mozilla,
 * because mozilla doesn't support inline-block. Must use padding instead of margins
 * with inline-blocks
 */
.menu-right
{
  padding-left:24px;
  display:table-cell;
  display:inline-block;
}
.menu-left
{
  display:table-cell;
  display:inline-block;
}

/*
  Owen Hack. Hidden from IE.
  IE's margin needs to be higher than Mozilla's margin, or the
  text will be too close to the rhs of the page.
*/
head:first-child+body span.menu2 {
  right:28px;  /* Smaller margin value, for Mozilla browsers.*/
}

/*
  top:7em;
  right:2em;
  right:24em;
  margin-left:20px;
  margin-right:5px;
  padding-top:80px;
    z-index:100;

*/

.top{
    background:url(/images/dot.png) top repeat-x;
    background-color:white;
}
.right{
    background:url(/images/dot.png) right repeat-y;
}
.bottom{
    background:url(/images/dot.png) bottom repeat-x;
}
.left{
    background:url(/images/dot.png) left repeat-y;
}
.top-left{
  background:url(/images/top-left.png) top left no-repeat;
}
.top-right{
  background:url(/images/top-right.png) top right no-repeat;
}
.bottom-left{
  background:url(/images/bottom-left.png) bottom left no-repeat;
  margin-bottom:-35px;  /* Negative margin so IE will render the bottom portion */
}
.bottom-right{
  background:url(/images/bottom-right.png) bottom right no-repeat;
}


p.code{
  font-family: courier-new, monospace;
  background-color:#EEEEEE;
}

div.content{
  position:relative;
  padding:10px;
  text-align:left;
}
img#logo{
  z-index:1;
  border-width:0;
  float:left;


}
a.download{
  font-size:larger;
}
p.copyright{
  font-size:smaller;
}
/* Owen hack. Hidden from IE. */
head:first-child+body p.copyright {
  margin-top:40px;
}


img.screenshot1{
  clear:right;
  float:right;
  margin-top:30px;
  margin-left:8px;
  overflow-x:auto;
}
