/* Basic settings */
body, table, form {
        padding: 0em;
        margin: 0em;
}

body {
        font-family: serif;
        color: #333;
        background: white;
        padding: 4px;
}

a {
        color: blue;
        text-decoration: none;
}

a:hover {
        text-decoration: underline;
}

img {
	border: none 0;
	vertical-align: top;
}

table {
      border-collapse: collapse;
}

.right {
      text-align: right;
}

/* Header table */
table#header {
      width: 100%;
      margin-bottom: 1em;
}

table#header td.logo {
      width: 140px;
}

table#header td.main {
      padding-left: 10px;
      white-space: nowrap;
      margin: 0px;
}

table#header td.main h1 {
      margin: 0px;
      font-style: normal;
      font-weight: normal;
      font-stretch: normal;
      font-variant: normal;
}

table#header td.main h1 a {
      color: black;	
}

table#header td.sub {
      color: #777;
      border-top: solid 1px #ccc;
      padding-left: 10px;
      vertical-align: top;
}

table#header td.sub h2 {
      font-style: normal;
      font-weight: normal;
      font-stretch: normal;
      font-variant: normal;
      font-size: 100%;
      margin: 0px;
}

/* Main menu (tabs) */
ul.tabs {
	list-style-type: none;
	width: 100%;
        border-bottom: solid 2px #ccc;
        border-collapse: collapse;
	display: table;
	margin: 0;
}

ul.tabs li {
	width: 11%;
	margin-left: 5%;
	display: block;
	float: left;
        vertical-align: bottom;
        padding: 0;
        color: #777;
        font-size: 100%;
}

ul.tabs li a {
        color: #777;
        font-size: 100%;
        text-decoration: none;
        padding: 2px 0.75em;
}

ul.tabs li a.active {
        color: #000;
        background-color: #ccc;
}

ul.tabs li a:hover {
        text-decoration: underline;
}

/* Main text */
div#main {
      margin-top: 2em;
      margin-bottom: 2em;
      margin-left: 5%;
      margin-right: 5%;
}      
					
dt {
	font-weight: bold;
}

/* Copyright section */
div.copyright {
        border-top: solid 2px #ccc;
	font-size: 80%; 
	padding: 4px;
}

/* Download table */
table.download {
	border: 1px black solid;
}

table.download td {
	border: 1px black solid;
        padding: 0.3em;
}

/* Example output */
span.comment {
        color: red;
        font-style: italic;
}

span.var {
	color: #b8860b;
}

span.lit {
	color: #bc8f8f;
}

span.kw {
	color: #0000ff;
}

table.examples td {
        padding: 0.3em;
}

/* Generator output */
div.generator {
	display: none;
}

/* Release table */
tbody.previous {
	color: silver;
}

tbody.previous a {
	color: lightblue;
}

/* Additional structures */
div.info {
	max-width: 80%;
	border: 1px black solid;
	margin-left: auto;
	margin-right: auto;
	padding: 0.4em;
	font-size: 80%;
}