body { margin:1.5em; 
       margin-right:3em;
       font-size:14px;
       font-family:sans-serif;
       background-color:#F6F6DE;
     }

h1 {text-align:center; font-size:1.6em;}

h2 {margin-top:2em; font-size:1.4em;}

h3 {margin-top:1.5em; font-size:1.1em;}


tt {font-family:monospace; 
    font-size:1.05em;
    font-weight:bold;}

div.sample {margin-left:3em; margin-bottom:1em;}

td tt {font-family:monospace; 
       font-size:1em;
       font-weight:normal;}

li {margin-top:1em;}

pre {margin-bottom:3em;
     background-color:#eee;
     padding:5px;
     border:1px solid black;}

td div {margin-top:0.5em;}


.attribute {vertical-align:top; 
           text-align:left; 
           font-family:monospace; 
           width:200px;}

.description {vertical-align:top; 
              text-align:left;}