html, body {
	margin:	0;
	padding: 0;
	font-size: 98%;
	color:		  black;
	background-color: white;
	/*float:          right;*/
	font-family: 	gill sans, Trebuchet MS, Verdana, sans-serif;
}

div {
	margin:		0;
	padding: 	0;
}

img  {
	border: 	0px solid white;
	color: 		white;
	border-width: 	0;
}

body {
	padding: 		1em;
	margin:			0;
	font-size:		98%;
        line-height: 130%;
}

a {
	font-weight: 	bold;
}

a:hover {
	color: 	rgb(156, 36, 0); 
}

.body {
    width: 100%;
   
}

.content {
        margin:         0;
        padding:        0;
	margin-right:   12em;
        padding-top:    1em;
}

.navigation {
	font-size:	80%;
	margin-top:	1em;
	position:	absolute;
        top:            6.5em;
	right:		1em;
	width: 		10em;
	padding: 	0em;
	text-align:	left;
	border-top:		solid rgb(47, 111, 70) 1.5em;
	border-bottom:		solid rgb(47, 111, 70) 1.5em;
	border-left:		solid rgb(47, 111, 70) 0.1em;
	border-right:		solid rgb(47, 111, 70) 0.1em;
	background-color: white; 
        line-height: 120%;
}      

.navigation h4,
.navigation h5 {
   background-color: 	rgb(47, 111, 70);
   color: 		white;
   margin-top:		0.2em;
   margin-left:         0;
}


th {
	background-color: rgb(215, 215, 215);
}

.navigation li {
	list-style-type: none;
	margin-left:     0.3em; 
	border-left:	 0em;
	padding-left:	 0em;
}

.navigation ul {
	margin-left:     0.3em; 
	border-left:	 0em;
	padding-left:	 0em;
}



.item {
	padding-bottom: 2em;
        font-size:      90%;
}

.item table, 
.item .example {
	margin-top: 	0.5em;
	margin-bottom: 	0.5em;
}

/*.items {*/

/*    margin-left: 12em;*/
/*}*/

iframe {
    float:  left;
}

.permalink {
    display:    block;
    width:     	100%;
    text-align: right;
}

blockquote {
	font-style: italic;
}

blockquote p {
	border-left: solid black 1px;
	padding: 0.5em;
}


dt {
	font-weight:	bold;
	color:		rgb(49, 0, 152);
}

h1, h2, h3, h4, h5  {
/#	color:		rgb(49, 0, 142); */
	font-family: 	gill sans, Trebuchet MS, Verdana, sans-serif;
	margin:		0;
	padding:	0.2em;
}

h1 {
  font-size: 3em;
}

h1, h2 {
/*  background-color: rgb(255, 154, 0); */
  background-color: white;
  font-family: 'Lucida Grande','Lucida Sans Unicode',arial,verdana,sans-serif;
/*  color: rgb(164, 11, 0); */
  font-weight: 	bold;
  letter-spacing: -0.08em;
  color: 	black;
  text-align: 	center;
}


.item h2 {
  background-color: rgb(160, 10, 0);
  color: 	white;
  text-align: 	left;
}

.subtitle {
	border-bottom:	dashed rgb(49, 0, 142) 3px;
}

.titlebar {
	margin: 	0.1em;
	padding: 	0.1em;
	clear:		both;
}

.titlebar h1, .titlebar h2 {
	margin: 	0.1em;
	padding: 	0em;
	clear:		both;
}

.titlebar h2 {
	font-size: 	120%;
	padding-left:	0.3em;
}


ins,
.diff {
	background-color: rgb(255, 255, 0);
}

.example {
	background-color: 	rgb(240, 240, 240);
	border:			solid black 1px;
	padding: 		0.5em;
	overflow:		hidden;
}

.comment {
        background-color: rgb(220, 220, 220);
        margin: 2em;
        padding: 1em;
        font-size: 86%; 
}

.comment pre {
        font-family: gill sans, verdana, sans-serif; 
}

.comments_form {
        margin: 2em;
}

.comments_form label {
        margin-top: 2em;
}

code {
    color: green;
    
}