Mercurial > p > roundup > code
annotate doc/default.css @ 8412:0663a7bcef6c reauth-confirm_id
feat: finish reauth docs, enhance code.
Decided to keep name Reauth for now.
admin_guide.txt:
add reference mark to roundup admin help. Used for template command
reference in upgrading.txt.
customizing.txt:
added worked example of adding a reauth auditor for address and password.
Also links to OWASP recommendations.
Added link to example code in design.doc on detectors.
glossary.txt:
reference using roundup-admin template command in def for tracker
templates.
pydoc.txt:
Added methods for Client class.
Added class and methods for (cgi) Action, LoginAction and ReauthAction.
reference.txt
Edited and restructured detector section.
Added section on registering a detector and priority use/execution order.
(reference to design doc was used before).
Added/enhanced description of exception an auditor can
raise (includes Reauth).
Added section on Reauth implementation and use (Confirming the User).
Also has paragraph on future ideas.
upgrading.txt
Stripped down the original section. Moved a lot to reference.txt.
Referenced customizing example, mention installation of
_generic.reauth.html and reference reference.txt.
cgi/actions.py:
fixed bad ReST that was breaking pydoc.txt processing
changed doc on limitations of Reauth code.
added docstring for Reauth::verifyPassword
cgi/client.py:
fix ReST for a method breaking pydoc.py processing
cgi/templating.py:
fix docstring on embed_form_fields
templates/*/html/_generic.reauth.html
disable spelling for password field
add timing info to the javascript function that processes file data.
reformat javascript IIFE
templates/jinja2/html/_generic.reauth.html
create a valid jinja2 template. Looks like my original jinja
template got overwritten and committed.
feature parity with the other reauth templates.
test/test_liveserver.py
add test case for Reauth workflow.
Makefile
add doc.
| author | John Rouillard <rouilj@ieee.org> |
|---|---|
| date | Wed, 13 Aug 2025 23:52:49 -0400 |
| 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 } |
