html { font-family: sans-serif; margin: 0; padding: 0; }
body { margin: 1em; padding: 0; }

h1 { font-size: 200%; margin-top: 0; }
h2 { font-size: 140%; }
h3 { font-size: 120%; }
h1, h2, h3 { border-left: 1em #0f8 solid; padding-left: 0.5em; }

#links { float: right; width: 10em; background-color: #0f8; color: #000;
	border-left: 1em #00bf66 solid; padding: 0; margin: 0; }
#links * { display: block; padding: 0 0.1em; }
#links * + * { padding-left: 1em; }
#links a { text-decoration: none; }
#links a:hover { background-color: #00bf66; }

#index h2, .notes { display: table-cell; }
.notes { font-size: 80%; font-style: italic; padding-left: 2em; }

input[type="text"] { width: 30em; }

.input, .output { background-color: #fff; color: #000; }
.input code, .output code { background-color: #eee; }
.input em, .output em, .input em dfn, .output em dfn { color: #080; }
.input dfn, .output dfn { color: #c60; text-decoration: none; }
.input var, .output var { color: #c0c; }

.warning { font-weight: bold; color: #f70; }
.error { font-weight: bold; color: #f00; }
.ok { color: #219521; }
ul ul { margin-bottom: 1em; }
.cc { color: #888; font-size: small; }

address { clear: right; float: right; width: 10em; text-align: right;
	border-top: medium #00bf66 solid; padding-top: 0.1em; }