Mercurial > p > roundup > code
annotate doc/default.css @ 6588:91ab3e0ffcd0
Summary: Add test cases for sqlite fts
Add support for using the FTS5 full text query engine for sqlite.
Also stubbed out some sections for adding postgresql FTS support as
well.
Added nee indexer type native-fts. It is not selected by default. The
indexer=native is used if no indexer is set. This prevents an upgrade
from seeming to wipe out the native index if upgraded and
indexer=native is not explicitly set.
Docs updated. Also changed section headers to sentence case for the
current release notes.
Indexing backend can control if the full text search phrase is broken
into a list of words or passed intact. For backends with query
languages (sqlite and can be enabled for whoosh and xapian) we do not
want the phrase "tokenized" on whitespace.
This also updates the rdbms database version to version 7 to add FTS
table. I will be using the same version when I add postgresql. If
somebody runs this version on postgresql, they will have to manually
add the fts tables for postgresql if they want to use it.
Added a new renderError method to client. This allows errors to be
reported still using page.html rather than raw html. It also supports
templates for any error code. If no template for the error code
(e.g. 400) is found, the error in raw html with no page frame is
shown.
New IndexerQueryError exception to pass back message about query syntax
errors.
| author | John Rouillard <rouilj@ieee.org> |
|---|---|
| date | Sun, 23 Jan 2022 18:57:45 -0500 |
| parents | 33a1f03b9de0 |
| children |
| rev | line source |
|---|---|
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
1 /* |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
2 :Author: David Goodger |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
3 :Contact: goodger@users.sourceforge.net |
|
4557
33a1f03b9de0
Remove $-cookies that have been misleading since roundup moved off CVS.
Eric S. Raymond <esr@thyrsus.com>
parents:
2409
diff
changeset
|
4 :date: 2004-06-09 00:25:32 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
5 :copyright: This stylesheet has been placed in the public domain. |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
6 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
7 Default cascading style sheet for the HTML output of Docutils. |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
8 */ |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
9 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
10 a.target { |
|
2225
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
11 color: blue } |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
12 |
| 1098 | 13 a.toc-backref { |
| 14 text-decoration: none ; | |
| 15 color: black } | |
| 16 | |
| 17 dd { | |
| 18 margin-bottom: 0.5em } | |
| 747 | 19 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
20 div.abstract { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
21 margin: 2em 5em } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
22 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
23 div.abstract p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
24 font-weight: bold ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
25 text-align: center } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
26 |
| 2409 | 27 div.attention, div.caution, div.danger, div.error, |
| 28 div.important, div.tip, div.warning { | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
29 margin: 2em ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
30 border: medium outset ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
31 padding: 1em } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
32 |
| 2409 | 33 div.hint, div.note { |
| 34 font-size: 80%; | |
| 35 float: right; | |
| 36 width: 15em; | |
| 37 margin: 0.5em; | |
| 38 margin-left: 1em ; | |
| 39 border: solid #aaa; | |
| 40 background: #eee; | |
| 41 padding: 1em; | |
| 42 } | |
| 43 | |
| 747 | 44 div.attention p.admonition-title, div.caution p.admonition-title, |
| 45 div.danger p.admonition-title, div.error p.admonition-title, | |
| 46 div.warning p.admonition-title { | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
47 color: red ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
48 font-weight: bold ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
49 font-family: sans-serif } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
50 |
| 747 | 51 div.hint p.admonition-title, div.important p.admonition-title, |
| 52 div.note p.admonition-title, div.tip p.admonition-title { | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
53 font-weight: bold ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
54 font-family: sans-serif } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
55 |
| 1098 | 56 div.dedication { |
| 57 margin: 2em 5em ; | |
| 58 text-align: center ; | |
| 59 font-style: italic } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
60 |
| 1098 | 61 div.dedication p.topic-title { |
| 62 font-weight: bold ; | |
| 63 font-style: normal } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
64 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
65 div.figure { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
66 margin-left: 2em } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
67 |
| 1098 | 68 div.footer, div.header { |
| 69 font-size: smaller } | |
| 70 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
71 div.system-messages { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
72 margin: 5em } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
73 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
74 div.system-messages h1 { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
75 color: red } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
76 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
77 div.system-message { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
78 border: medium outset ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
79 padding: 1em } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
80 |
| 747 | 81 div.system-message p.system-message-title { |
| 82 color: red ; | |
| 83 font-weight: bold } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
84 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
85 div.topic { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
86 margin: 2em } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
87 |
|
2225
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
88 h1 { |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
89 margin-top: 2em; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
90 text-decoration: underline; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
91 } |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
92 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
93 h1.title { |
|
2225
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
94 text-align: center; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
95 margin-top: .5em; |
|
a3d63babf9c4
*** empty log message ***
Richard Jones <richard@users.sourceforge.net>
parents:
2141
diff
changeset
|
96 } |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
97 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
98 h2.subtitle { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
99 text-align: center } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
100 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
101 hr { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
102 width: 75% } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
103 |
| 1098 | 104 ol.simple, ul.simple { |
| 1228 | 105 margin-top: 0; |
| 1098 | 106 margin-bottom: 1em } |
| 107 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
108 ol.arabic { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
109 list-style: decimal } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
110 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
111 ol.loweralpha { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
112 list-style: lower-alpha } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
113 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
114 ol.upperalpha { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
115 list-style: upper-alpha } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
116 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
117 ol.lowerroman { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
118 list-style: lower-roman } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
119 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
120 ol.upperroman { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
121 list-style: upper-roman } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
122 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
123 p.caption { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
124 font-style: italic } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
125 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
126 p.credits { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
127 font-style: italic ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
128 font-size: smaller } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
129 |
| 1098 | 130 p.first { |
| 131 margin-top: 0 } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
132 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
133 p.label { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
134 white-space: nowrap } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
135 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
136 p.topic-title { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
137 font-weight: bold } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
138 |
| 1098 | 139 pre.address { |
| 140 margin-bottom: 0 ; | |
| 141 margin-top: 0 ; | |
| 142 font-family: serif ; | |
| 143 font-size: 100% } | |
|
794
8c6df3f14020
Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents:
747
diff
changeset
|
144 |
| 1098 | 145 pre.line-block { |
| 146 font-family: serif ; | |
| 147 font-size: 100% } | |
|
794
8c6df3f14020
Added better explanation of the instance configuration.
Richard Jones <richard@users.sourceforge.net>
parents:
747
diff
changeset
|
148 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
149 pre.literal-block, pre.doctest-block { |
| 747 | 150 margin-left: 2em ; |
| 151 margin-right: 2em ; | |
| 152 background-color: #eeeeee } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
153 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
154 span.classifier { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
155 font-family: sans-serif ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
156 font-style: oblique } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
157 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
158 span.classifier-delimiter { |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
159 font-family: sans-serif ; |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
160 font-weight: bold } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
161 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
162 span.field-argument { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
163 font-style: italic } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
164 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
165 span.interpreted { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
166 font-family: sans-serif } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
167 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
168 span.option-argument { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
169 font-style: italic } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
170 |
| 1098 | 171 span.pre { |
| 172 white-space: pre } | |
| 173 | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
174 span.problematic { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
175 color: red } |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
176 |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
177 table { |
| 1098 | 178 margin-top: 0.5em ; |
| 1125 | 179 margin-bottom: 0.5em ; |
| 180 } | |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
181 |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
182 table.citation { |
| 1125 | 183 border-top: 0; |
| 184 border-bottom: 0; | |
| 185 border-right: 0; | |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
186 border-left: solid thin gray ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
187 padding-left: 0.5ex } |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
188 |
|
653
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
189 table.docinfo { |
|
1dcbee29faa7
More work on the documentation - rolled in the work done by Jeff Blaine.
Richard Jones <richard@users.sourceforge.net>
parents:
diff
changeset
|
190 margin: 2em 4em } |
|
687
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
191 |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
192 table.footnote { |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
193 border-left: solid thin black ; |
|
cbe9667de522
doc CSS update
Richard Jones <richard@users.sourceforge.net>
parents:
653
diff
changeset
|
194 padding-left: 0.5ex } |
|
902
b0d3d3535998
Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents:
794
diff
changeset
|
195 |
| 1098 | 196 td, th { |
| 197 padding-left: 0.5em ; | |
| 198 padding-right: 0.5em ; | |
| 1125 | 199 vertical-align: baseline; |
| 200 } | |
| 201 | |
| 202 table.table { | |
| 203 border-spacing: 0px; | |
| 204 border-collapse: separate; | |
| 205 } | |
| 206 table.table td { | |
| 207 text-align: left; | |
| 208 border: solid thin gray; | |
| 209 } | |
| 210 | |
| 211 table.table th { | |
| 212 text-align: left; | |
| 213 border: solid thin gray; | |
| 214 } | |
| 1098 | 215 |
| 216 td > p:first-child, th > p:first-child { | |
| 217 margin-top: 0em } | |
| 218 | |
| 219 th.docinfo-name { | |
| 220 font-weight: bold ; | |
| 221 text-align: right } | |
|
902
b0d3d3535998
Bugger it. Here's the current shape of the new security implementation.
Richard Jones <richard@users.sourceforge.net>
parents:
794
diff
changeset
|
222 |
| 1098 | 223 th.field-name { |
| 224 font-weight: bold ; | |
| 225 text-align: right } | |
| 226 | |
| 227 h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt { | |
| 228 font-size: 100% } | |
| 229 | |
| 230 tt { | |
| 231 background-color: #eeeeee } | |
| 232 | |
| 1228 | 233 tt.literal span.pre { |
| 234 background-color: #eeeeee | |
| 235 } | |
| 236 | |
| 1098 | 237 ul.auto-toc { |
| 238 list-style-type: none } |
