Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Merged tangentsoft.css fix up from trunk |
---|---|
Downloads: | Tarball | ZIP archive |
Timelines: | family | ancestors | descendants | both | v3.2.5 | release |
Files: | files | file ages | folders |
SHA3-256: |
1c32e5d9de19d72c9dc4cd7b625fab22 |
User & Date: | tangent 2019-07-21 11:32:13.678 |
Context
2021-04-28
| ||
22:11 | Merged trunk changes for v3.3.0 into release branch check-in: dbab102617 user: tangent tags: v3.3.0, release | |
2019-07-21
| ||
11:32 | Merged tangentsoft.css fix up from trunk check-in: 1c32e5d9de user: tangent tags: v3.2.5, release | |
11:31 | Added doc/html/userman/tangentsoft.css to repo check-in: 59bd0d0eb5 user: tangent tags: trunk | |
11:27 | Merged in trunk fixes check-in: 279baef0c4 user: tangent tags: v3.2.5, release | |
Changes
Added doc/html/userman/tangentsoft.css.
> > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 | BODY { background-color: #FFFFEE; font-family: "Georgia", "Luxi Serif", "New Century Schoolbook", "Times New Roman", "Times", serif; margin-left: 30pt; margin-right: 30pt; } a:link { color: #491E00; } a:visited { color: #7D2E01; } a:hover { color: #CC5500; text-decoration: none; } a:active { color: #DA7417; } DIV.footnote > P { font-size: 85%; } EM.phrase { /* Georgia's great, but oldstyle numerals make math hard to read */ font-family: "Times", "Times New Roman", serif; } H1, H2, H3, H4, H5, H6, DIV.navheader > TABLE > TBODY > TR > TH { color: #501000; font-family: "Verdana", "Luxi Sans", "Helvetica Narrow", "Arial", "Univers", sans-serif; font-weight: bold; } H1 { font-size: 20pt; } H2 { font-size: 18pt; } H3 { font-size: 14pt; } H4 { font-size: 10pt; } H4.subtitle { margin-left: 20pt; } H5 { font-size: 10pt; margin-left: 20pt; } P { line-height: 140%; margin-left: 20pt; } div.sect3 { margin-left: 20pt; } li { margin-left: 30pt; } li p { margin-left: 0pt; } pre.programlisting, pre.screen { border: 1px solid #882200; margin: 10pt; margin-left: 40pt; padding: 10pt; background-color: #FFFFCC; } .type { font-family: monospace; } .symbol { font-family: monospace; } |