+ float: right;
+ margin: 20px;
+}
+
+IMG.appearance {
+ margin: 20px;
+}
+
+TABLE.appearance {
+ width: 100%;
+ text-align: center;
+ font-style: italic;
+ font-size: 90%;
+ /*font-weight: bold;*/
+}
+
+SPAN.literal {
+ text-decoration: none;
+ font-weight: bold;
+ font-family: monospace, fixed;
+}
+
+/* we make all the following <span> tags render the text just like
+ the standard Doxygen @remarks, @see tags do, to obtain a uniform
+ look and feel */
+SPAN.itemdef, SPAN.lib, SPAN.category, SPAN.stdobj, SPAN.styles, SPAN.events, SPAN.flags, SPAN.appearance, SPAN.impl, SPAN.avail {
+ font-weight: bold;
+ line-height: 130%;
+}
+
+SPAN.style, SPAN.event, SPAN.flag {
+ font-weight: bold;
+ color: #880000;
+}
+
+DIV.styleDesc, DIV.eventDesc, DIV.flagDesc {
+ margin-left: 3%;
+ margin-bottom: 1ex;
+}
+
+DIV.eventHandler {
+ margin: 1em;
+ text-indent: 3%;
+}
+
+DIV.eventHandler SPAN {
+ padding: 5px;
+ background-color: #eeeeee;
+ font-family: monospace, fixed;
+}
+
+A[HREF="modules.html"] SPAN:before {
+ content: "Categories / ";
+}
+
+/* Doxygen defaults the top navigation tabs to a small, bold font,
+ so we reset it here to a larger, normal font. */
+DIV.navigation A SPAN {
+ font-size: 120%;
+ font-weight: normal;
+}
+
+LI {
+ line-height: 115%;
+}
+
+DIV.tags LI {
+ line-height: 100%;