9 background-color: #fa0;
12 border-top: solid 1px black;
13 border-bottom: solid 1px black;
18 margin: 0.75em 2em 1.25em 2em;
23 border-bottom: dotted 2px #f99;
27 text-decoration: none;
45 background-color: #ccc;
53 background-color: #89cbe0;
54 border: solid 1px black;
68 div.menu li:first-child {
74 border-top: dashed 1px black;
82 text-decoration: none;
88 background-color: #8fd5eb;
92 background-color: #ee9494;
103 div.menu div.logo img {
109 .page_index div.menu a[href="index.html"],
110 .page_features div.menu a[href="features.html"],
111 .page_screenshots div.menu a[href="screenshots.html"],
112 .page_download div.menu a[href="download.html"],
113 .page_documentation div.menu a[href="documentation.html"],
114 .page_contact div.menu a[href="contact.html"],
115 .page_report div.menu a[href="report.html"],
116 .page_license div.menu a[href="license.html"] {
123 margin: 0em 2em 2em 15.5em;
172 border: dashed 1px #888;
173 background-color: #ddd;
201 border: dashed 1px red;
202 background-color: #89cbe0;
207 background-color: #ee9494;
210 background-color: #8fd5eb;
221 list-style-type: none;
229 margin-bottom: 1.4em;