tinaa.css
Sun Sep 16 10:37:34 PDT 2007 Ryszard Szopa <ryszard.szopa@gmail.com>
* tinaa.css
diff -rN -u old-mop-utils/doc/tinaa.css new-mop-utils/doc/tinaa.css
--- old-mop-utils/doc/tinaa.css 1969-12-31 16:00:00.000000000 -0800
+++ new-mop-utils/doc/tinaa.css 2014-07-29 09:48:07.000000000 -0700
@@ -0,0 +1,271 @@
+body {
+ font: 90% Times New Roman, Times, serif;
+}
+
+.contents {
+ margin-right: 1em;
+ margin-left: 1em;
+}
+
+.documentation {
+ margin-right: 1em;
+ margin-left: 1em;
+}
+
+.part-parents {
+ margin-left: 1em;
+}
+
+.part-parents h3 {
+ display: inline;
+ margin-right: 0.5em;
+}
+
+.package-symbols {
+ margin-left: 1em;
+ margin-bottom: 0.5em;
+ margin-top: 0.5em;
+}
+
+.license {
+ margin-right: 1em;
+ margin-left: 1em;
+ margin-bottom: 1em;
+}
+
+/*<group=table-of-contents>*/
+
+.table-of-contents {
+ border-collapse: collapse;
+ vertical-align: top;
+ text-align: left;
+}
+
+.table-of-contents table {
+ border-collapse: collapse;
+ padding-right: 1em;
+ padding-left: 1em;
+}
+
+.table-of-contents tr {
+}
+
+.table-of-contents th {
+ font-weight: bold;
+ width: 200px;
+ font-family: Arial, Helvetica, sans-serif;
+ text-align: left;
+}
+
+.table-of-contents td {
+ padding-left: 1em;
+}
+
+/*</group>*/
+
+/*<group=part-summary>*/
+
+.part-summary {
+ margin-right: 2em;
+ margin-left: 2em;
+}
+
+.part-summary tr {
+ text-align: left;
+ vertical-align: top;
+}
+
+.part-summary td {
+ text-align: left;
+ padding-bottom: 0.0em;
+ padding-top: 0.0em;
+}
+
+.part-summary th {
+ text-align: left;
+ width: 100px;
+ font-style: italic;
+}
+
+/*</group>*/
+
+/*<group=table-summary>*/
+
+#other-file td {
+ padding-left: 1em;
+}
+
+.table-summary {
+ border-collapse: collapse;
+ vertical-align: top;
+ margin-right: 1em;
+ margin-left: 1em;
+ text-align: left;
+}
+
+.table-summary table {
+ margin-left: 1em;
+}
+
+.table-summary tr {
+ text-align: left;
+ vertical-align: top;
+}
+
+.table-summary td {
+ text-align: left;
+ padding-bottom: 0.5em;
+ padding-top: 0.2em;
+}
+
+.table-summary th {
+ text-align: left;
+ font-weight: normal;
+ width: 200px;
+}
+
+/*</group>*/
+
+#header { background: #009933; color: white; border: 1px solid black; font-family: sans-serif; margin-top: 0.5em; padding: 0.5em; height: 22px; }
+
+#header a[href] { color: #ffff33; text-decoration: none;
+ border-bottom-style: none;
+}
+
+#header a[href]:hover {
+ background: transparent;
+ color: #ffff00;
+ font-variant: small-caps;
+ font-style: italic;
+}
+
+#contents-link { clear: both; }
+
+#footer { background: #009933; color: white; border: 1px solid black; margin-top: 0.5em; padding: 0.5em;
+ font-family: Verdana, Arial, Helvetica, sans-serif;
+ font-size: 80%;
+ clear: both;
+}
+
+#footer a[href] { color: #ffff33; text-decoration: none;
+ border-bottom-style: none;
+}
+
+#footer a[href]:hover { background: transparent; color: #ffff00;
+ font-style: italic;
+ font-variant: small-caps;
+}
+
+#tinaa-logo { font-variant: small-caps; float: right; font-family: fantasy; font-size: 150%; letter-spacing: 0.05em; }
+
+.date {
+ margin-right: 2em;
+}
+
+.version {
+ margin-right: 2em;
+}
+
+h1, h2, h3, h4 { color: #333333; font-family: Arial, Helvetica, sans-serif; }
+
+h3 {
+ margin-right: 0;
+ margin-bottom: 0.5em;
+ margin-left: 0;
+}
+
+a[href] {
+ text-decoration: none;
+}
+
+a[href]:hover {
+ background: #ff9;
+ border-bottom: 1px dotted black;
+}
+
+.documentation {
+ text-align: left;
+ margin-bottom: 0.4em;
+}
+
+.property-heading {
+ margin-right: 3px;
+ font: italic 90% Arial, Helvetica, sans-serif;
+}
+
+.property-value {
+
+}
+
+.oddrow { background-color: #ccffcc }
+
+/*<group=Index>*/
+
+.back-to-top {
+ float: right;
+}
+
+.index-name {
+ width: 200px;
+ float: left;
+ clear: left;
+ margin-left: 3em;
+ text-indent: -1em;
+ margin-top: 0.2em;
+}
+
+.index-kind {
+ float: left;
+ padding-right: 2.0em;
+}
+
+.index-links {
+ float: right;
+}
+
+.index {
+ float: left;
+ padding-left: 0.4em;
+}
+
+.index-contents {
+ margin-bottom: 2.0em;
+}
+
+.index-contents pre {
+ clear: both;
+}
+
+.index-letters {
+ margin-left: 2em;
+}
+
+.used-letter {
+ float: left;
+ margin-right: 6px;
+ font-family: Verdana, Arial, Helvetica, sans-serif;
+}
+
+.dead-letter {
+ float: left;
+ margin-right: 6px;
+ font-family: Verdana, Arial, Helvetica, sans-serif;
+ color: #999999;
+}
+
+.index-letter {
+ float: left;
+ width: 90%;
+ margin-top: 1.5em;
+ border: 1px #000000;
+ border-top: 1px dotted #666666;
+ padding-top: 0.4em;
+}
+
+.the-letter {
+ text-transform: uppercase;
+ float: left;
+ font: 150% Verdana, Arial, Helvetica, sans-serif;
+}
+
+/*</group>*/
\ No newline at end of file