body
{
  padding-left: 50px;
  padding-right: 110px;
  font-family: sans-serif;
}

/* Hack to overcome stylesheet ordering restriction for W3C WDs */

#body
{
  margin-left: -20px;
  margin-right: 100px;
}

/*
Styles for pinned down summary table
*/

div.menu
{
  margin: 0;
  font-size: 10px /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: left;
  position: absolute;
  top: 0;
  right: 0;
  bottom: auto;
  left: auto;
  width: 105px;
}

div.menu p
{
  margin: 0; 
  padding: 0.3em 0.4em;
  background: #EEE;
}

/* Term summary tables */

table.terms 
{ 
  border-top: 1px solid #CCC; 
  border-left: 1px solid #CCC; 
  margin-bottom: 10px; 
}

table.terms th 
{ 
  background: #EEE; 
  font-family: Verdana, Arial, "Arial Unicode MS", Helvetica, sans-serif; 
}

table.terms td, table.terms th 
{ 
  border-right: 1px solid #CCC; 
  border-bottom: 1px solid #CCC; 
  padding: .5em; 
  vertical-align:top;
}

table.terms img
{
  float: left;
}

col.name
{
  width: 16%;
}

col.value
{
  width: 84%;
}

/*
Styles for overview tables
*/

table.overviews
{
  width: 50%;
  margin-bottom: 10px; 
}

table.overviews td
{
  vertical-align: top;
}

col.classoverview
{
  width: 50%;
}

col.propoverview
{
  width: 50%;
}

table.overview
{
  border: 1px solid #CCC; 
}

table.overview th
{
  background: #EEE; 
  font-family: Verdana, Arial, "Arial Unicode MS", Helvetica, sans-serif; 
  padding: .5em; 
}

table.overview td
{
  padding: .1em; 
}

.left
{
  float: left;
}

.code
{
	font-family: monospace;
}


/* Styles for change log */

div.item
{
  border: 1px solid #CCC;
  margin-bottom: 1em;
}

h3.itemtitle
{
  color: black;
  font-size: 100%;
  font-weight: bold;
  margin: 0em;
  padding: 0.2em;
  background: #EEE;
}

p.itemdate
{
  margin: 0em;
  padding: 0.2em;
  font-size: 70%;
  font-weight: bold;
}

p.itembody
{
  margin: 0em;
  padding: 0.2em;
}

/* Hack for IE fixed problem */
body>div.menu {position: fixed}