annotate doc/default.css @ 6915:9ff091537f43

postgresql native-fts; more indexer tests 1) Make postgresql native-fts actually work. 2) Add simple stopword filtering to sqlite native-fts indexer. 3) Add more tests for indexer_common get_indexer Details: 1) roundup/backends/indexer_postgresql_fts.py: ignore ValueError raised if we try to index a string with a null character in it. This could happen due to an incorrect text/ mime type on a file that has nulls in it. Replace ValueError raised by postgresql with customized IndexerQueryError if a search string has a null in it. roundup/backends/rdbms_common.py: Make postgresql native-fts work. When specified it was using using whatever was returned from get_indexer(). However loading the native-fts indexer backend failed because there was no connection to the postgresql database when this call was made. Simple solution, move the call after the open_connection call in Database::__init__(). However the open_connection call creates the schema for the database if it is not there. The schema builds tables for indexer=native type indexing. As part of the build it looks at the indexer to see the min/max size of the indexed tokens. No indexer define, we get a crash. So it's a a chicken/egg issue. I solved it by setting the indexer to the Indexer from indexer_common which has the min/max token size info. I also added a no-op save_indexer to this Indexer class. I claim save_indexer() isn't needed as a commit() on the db does all the saving required. Then after open_connection is called, I call get_indexer to retrieve the correct indexer and indexer_postgresql_fts woks since the conn connection property is defined. roundup/backends/indexer_common.py: add save_index() method for indexer. It does nothing but is needed in rdbms backends during schema initialization. 2) roundup/backends/indexer_sqlite_fts.py: when this indexer is used, the indexer test in DBTest on the word "the" fail. This is due to missing stopword filtering. Implement basic stopword filtering for bare stopwords (like 'the') to make the test pass. Note: this indexer is not currently automatically run by the CI suite, it was found during manual testing. However there is a FIXME to extract the indexer tests from DBTest and run it using this backend. roundup/configuration.py, roundup/doc/admin_guide.txt: update doc on stopword use for sqlite native-fts. test/db_test_base.py: DBTest::testStringBinary creates a file with nulls in it. It was breaking postgresql with native-fts indexer. Changed test to assign mime type application/octet-stream that prevents it from being processed by any text search indexer. add test to exclude indexer searching in specific props. This code path was untested before. test/test_indexer.py: add test to call find with no words. Untested code path. add test to index and find a string with a null \x00 byte. it was tested inadvertently by testStringBinary but this makes it explicit and moves it to indexer testing. (one version each for: generic, postgresql and mysql) Renamed Get_IndexerAutoSelectTest to Get_IndexerTest and renamed autoselect tests to include autoselect. Added tests for an invalid indexer and using native-fts with anydbm (unsupported combo) to make sure the code does something useful if the validation in configuration.py is broken. test/test_liveserver.py: add test to load an issue add test using text search (fts) to find the issue add tests to find issue using postgresql native-fts test/test_postgresql.py, test/test_sqlite.py: added explanation on how to setup integration test using native-fts. added code to clean up test environment if native-fts test is run.
author John Rouillard <rouilj@ieee.org>
date Mon, 05 Sep 2022 16:25:20 -0400
parents 33a1f03b9de0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
13 a.toc-backref {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
14 text-decoration: none ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
15 color: black }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
16
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
17 dd {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
18 margin-bottom: 0.5em }
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
27 div.attention, div.caution, div.danger, div.error,
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
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
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
33 div.hint, div.note {
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
34 font-size: 80%;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
35 float: right;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
36 width: 15em;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
37 margin: 0.5em;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
38 margin-left: 1em ;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
39 border: solid #aaa;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
40 background: #eee;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
41 padding: 1em;
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
42 }
Richard Jones <richard@users.sourceforge.net>
parents: 2225
diff changeset
43
747
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
44 div.attention p.admonition-title, div.caution p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
45 div.danger p.admonition-title, div.error p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
51 div.hint p.admonition-title, div.important p.admonition-title,
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
56 div.dedication {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
57 margin: 2em 5em ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
58 text-align: center ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
61 div.dedication p.topic-title {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
62 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
68 div.footer, div.header {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
69 font-size: smaller }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
81 div.system-message p.system-message-title {
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
82 color: red ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
104 ol.simple, ul.simple {
1228
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
105 margin-top: 0;
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
106 margin-bottom: 1em }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
130 p.first {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
139 pre.address {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
140 margin-bottom: 0 ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
141 margin-top: 0 ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
142 font-family: serif ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
145 pre.line-block {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
146 font-family: serif ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
150 margin-left: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
151 margin-right: 2em ;
3c1cb2021b5e new CSS
Richard Jones <richard@users.sourceforge.net>
parents: 688
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
171 span.pre {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
172 white-space: pre }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
178 margin-top: 0.5em ;
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
179 margin-bottom: 0.5em ;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
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
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
183 border-top: 0;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
184 border-bottom: 0;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
196 td, th {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
197 padding-left: 0.5em ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
198 padding-right: 0.5em ;
1125
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
199 vertical-align: baseline;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
200 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
201
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
202 table.table {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
203 border-spacing: 0px;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
204 border-collapse: separate;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
205 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
206 table.table td {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
207 text-align: left;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
208 border: solid thin gray;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
209 }
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
210
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
211 table.table th {
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
212 text-align: left;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
213 border: solid thin gray;
3c1533be3822 more doc
Richard Jones <richard@users.sourceforge.net>
parents: 1098
diff changeset
214 }
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
215
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
216 td > p:first-child, th > p:first-child {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
217 margin-top: 0em }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
218
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
219 th.docinfo-name {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
220 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
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
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
223 th.field-name {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
224 font-weight: bold ;
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
225 text-align: right }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
226
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
227 h1 tt, h2 tt, h3 tt, h4 tt, h5 tt, h6 tt {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
228 font-size: 100% }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
229
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
230 tt {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
231 background-color: #eeeeee }
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
232
1228
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
233 tt.literal span.pre {
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
234 background-color: #eeeeee
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
235 }
Richard Jones <richard@users.sourceforge.net>
parents: 1125
diff changeset
236
1098
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
237 ul.auto-toc {
c5819344714c more doc
Richard Jones <richard@users.sourceforge.net>
parents: 907
diff changeset
238 list-style-type: none }

Roundup Issue Tracker: http://roundup-tracker.org/