+++ /dev/null
-body {\r
- font-family: sans-serif;\r
- background-color: #ffffff;\r
- color: #000000;\r
-}\r
-\r
-div.abstract p.title,\r
-div.toc p,\r
-p.releaseinfo em,\r
-div.figure p.title,\r
-div.example p.title,\r
-span.term,\r
-h1, h2, h3, h4, h5, h6 {\r
- color: #005a9c;\r
-}\r
-\r
-h1 {\r
- font-size: 170%;\r
- font-style: normal;\r
- font-weight: normal;\r
-}\r
-\r
-\r
-div.abstract p.title,\r
-div.toc p,\r
-h2 {\r
- font-size: 140%;\r
- font-style: normal;\r
- font-weight: normal;\r
-}\r
-\r
-h3 {\r
- font-size: 120%;\r
- font-style: normal;\r
- font-weight: normal;\r
-}\r
-\r
-p.releaseinfo em,\r
-h4 {\r
- font-size: 100%;\r
- font-style: normal;\r
- font-weight: bold;\r
-}\r
-\r
-div.figure p.title,\r
-div.example p.title,\r
-span.term,\r
-h5 {\r
- font-size: 80%;\r
- font-style: normal;\r
- font-weight: bold;\r
-}\r
-\r
-span.term tt {\r
- font-size: 120%;\r
- font-style: normal;\r
-}\r
-\r
-h6 {\r
- font-size: 60%;\r
- font-style: normal;\r
- font-weight: bold;\r
-}\r
-\r
-div.toc p b,\r
-div.abstract p.title b {\r
- font-weight: normal;\r
-}\r
-\r
-div.author h3 {\r
- color: #000000;\r
- font-weight: bold;\r
- font-style: normal;\r
- font-size: 100%;\r
- margin-bottom: 0;\r
-}\r
-\r
-div.toc span.appendix,\r
-div.toc span.chapter {\r
- font-weight: bold;\r
-}\r
-\r
-div.sect1 table.simplelist {\r
- width: 100%;\r
-}\r
-\r
-div.sect1 table.simplelist td {\r
- vertical-align: top;\r
-}\r
-\r
-div.figure div.informaltable table,\r
-div.figure table.simplelist,\r
-div.figure table.simplelist td {\r
- width: auto;\r
-}\r
-\r
-div.figure div.informaltable table td {\r
- border-style: none;\r
-}\r
-\r
-div.figure div.informaltable table {\r
- border-color: #000000;\r
-}\r
-\r
-div.example pre.programlisting { /* valid example */\r
- background-color: #E0F8E0;\r
- border-style: ridge;\r
- width: 90%;\r
- padding: 0.25em;\r
-}\r
-\r
-div.example pre.synopsis { /* legend */\r
- line-height: 150%;\r
-}\r
-\r
-div.example pre.screen { /* invalid example */\r
- background-color: #F8E0E0;\r
- border-style: ridge;\r
- width: 90%;\r
- padding: 0.25em;\r
-}\r
-\r
-table.productionset { /* productions */\r
- background-color: #E0F8F8;\r
- border-style: ridge;\r
- width: 90%;\r
-}\r
-\r
-table.productionset table.productionset {\r
- border-style: none;\r
- width: 90%;\r
-}\r
-\r
-td.productioncounter {\r
- font-family: monospace;\r
-# font-size: 12px;\r
- padding-right: 0.5em;\r
-}\r
-\r
-td.productionlhs {\r
- font-family: monospace;\r
-# font-size: 12px;\r
- white-space: nowrap;\r
-}\r
-\r
-td.productionseperator {\r
- font-family: monospace;\r
-# font-size: 12px;\r
- padding-left: 0.5em;\r
- padding-right: 0.5em;\r
-}\r
-\r
-td.productionrhs {\r
- font-family: monospace;\r
-# font-size: 12px;\r
- white-space: nowrap;\r
- width: 100%;\r
-}\r
-\r
-div.variablelist dt {\r
- margin-top: 1em;\r
-}\r
-\r
-dd p {\r
- margin-top: 0;\r
-}\r
-\r
-\r
-code.filename { /* hl1 */\r
- font-family: monospace;\r
- background-color: #F8F8E0;\r
- border-color: #000000;\r
- border-style: solid;\r
- border-width: 1px;\r
- padding: 0px;\r
-}\r
-\r
-code.literal { /* hl2 */\r
- font-family: monospace;\r
- background-color: #E0E0F8;\r
- border-color: #000000;\r
- border-style: solid;\r
- border-width: 1px;\r
- padding: 0px;\r
-}\r
-\r
-span.property { /* hl3 */\r
- font-family: monospace;\r
- background-color: #F8E0F8;\r
- border-color: #000000;\r
- border-style: solid;\r
- border-width: 1px;\r
- padding: 0px;\r
-}\r
-\r
-code.constant { /* hl4 */\r
- font-family: monospace;\r
- background-color: #E0F8F8;\r
- border-color: #000000;\r
- border-style: solid;\r
- border-width: 1px;\r
- padding: 0px;\r
-}\r
-\r
-span.honorific > code.filename {\r
- padding: 4px 1px 4px 1px;\r
- line-height: 175%;\r
-}\r
-\r
-span.honorific > code.constant {\r
- padding: 4px 1px 4px 1px;\r
- line-height: 175%;\r
-}\r
-\r
-span.honorific > span.property {\r
- padding: 4px 1px 4px 1px;\r
- line-height: 175%;\r
-}\r
-\r
-span.honorific > code.literal {\r
- padding: 4px 1px 4px 1px;\r
- line-height: 175%;\r
-}\r
-\r
-a[href^="#"] {\r
- text-decoration: none;\r
- color: black;\r
- background-color: green;\r
- background: url(term.png) no-repeat bottom right;\r
-}\r
-\r
-a[href^="#"]:hover,\r
-div.indexdiv a,\r
-div.toc a {\r
- text-decoration: underline;\r
- background: none;\r
- color: blue;\r
-}\r
-\r
-pre.synopsis a {\r
- background: none;\r
-}\r
-\r
-table.productionset a {\r
- background-color: #E0F8F8;\r
- background: none;\r
-}\r
-\r
-a.preferred {\r
- font-style: italic;\r
-}\r