#container 
    {
    		position: relative; 
    		border:1px solid #666; 
    		margin: 2em auto; 
    		width: 54em; 
    		padding:3em; 
    		background-color: white;
    }
   
#right {
		position: absolute; border-left: 1px solid #666;  
        border-bottom: 1px solid #666; 
            right: 0em; 
            font-size: 1.2em; 
            top: 0em;
            padding: 0.5em;
            background-color: #eee;
}
body { 
	padding: 1em; 
	background-color: #ccc;	
}

dt { margin-top: 1em; }
dd { margin-top: 0.3em; }
h3 { margin-bottom: 0em; padding-bottom: 0em; }
code { background-color: #ecf3ff; border: 1px solid #666; display: block; padding: 1em; margin-top: 1em; }
table { border: 1px solid #333; width: 100%; margin-top: 1em; }
td, th { padding: 0.2em; text-align: center; font-family: sans-serif}
tr { background-color: #eee; margin-top: 0.25em; margin-bottom: 0.25em; } 
.example { background-color: #f6e988; white-space: pre; padding-top: 0em;}
.comment { color: green; }