body {font-family: Tahoma, sans-serif; margin: 1em 2em 1em 2em; font-size: 100%; line-height: 130%;} h1, h2, h3, h4, h5, h6 {font-family: Trebuchet MS, serif; margin-top: 1.5em; margin-bottom: 0.5em;} h1 {font-size: 2.0em; color: #a77070;} h2 {font-size: 1.6em; color: #779977;} h3 {font-size: 1.3em; color: #555577;} h4 {font-size: 1.2em; color: #222244;} h5 {font-size: 1.1em; color: #222244;} h6 {font-size: 1.0em; color: #222244;} p, pre, blockquote, table, ul, ol, dl {margin-top: 1em; margin-bottom: 1em;} ul ul, ul ol, ol ol, ol ul {margin-top: 0.5em; margin-bottom: 0.5em;} li {margin: 0.3em auto;} ul {margin-left: 2em; padding-left: 0.5em;} dt {font-weight: bold;} img {border: none;} pre { border-left: 1px solid #ccc; margin-left: 2em; padding-left: 0.5em; } blockquote { padding: 0.4em; background-color: #f6f5eb; } th, td { border: 1px solid #ccc; padding: 0.3em; } th { background-color: #f0f0f0; } a { color: #055577; } hr {border: none; border-top: 1px solid #ccc; width: 100%;} del {text-decoration: line-through; color: #777777;} .toc li {list-style-type: none;} .todo {font-weight: bold; background-color: #f0ece8; color: #a03020;} .justleft {text-align: left;} .justright {text-align: right;} .justcenter {text-align: center;} .center {margin-left: auto; margin-right: auto;}