div.box
	{ background: white
	; border: 1px solid black
        ; padding: 5px
        }

#thebody {
    padding: 5px;
    padding-left: 15px;
    margin: 0px;
    vertical-align: top;
 }

#sidebar {
    float: right;
    width: 50%;	
    background-color: #E0F0E0;
    margin: 0px;
    padding: 0px;
    border: 1px solid black;
    padding: 5px;
    vertical-align: top;
    margin-left: 10px;
  }

#sidebar h3 {
   text-align: center;
}
  

ul > p {
	font-size: 90%;
	font-style: italic;
}

table.examples
	{ background: white
	; border: 1px solid black
	; border-collapse: collapse
        }
table.examples td {
	; border: 1px solid black
	; border-style: inset	
	; padding: 5px
	}	

table.examples th {
	; border: 1px solid black
	; border-style: inset	
	; padding: 5px
	}	

td.basic {
	; background: #aaaaff
	}	

td.body {
	; background: #aaffaa
	}	

td.fix {
	; background: #ff44aa
	}	

td.lemma {
	; background: yellow
	}	

.thebar { 
	; height: 2px
	}

.hi 	{ color: red
	}