|
@@ -226,6 +226,10 @@ pre.literal-block, pre.doctest-block {
|
|
|
margin-right: 2em ;
|
|
margin-right: 2em ;
|
|
|
background-color: #eeeeee }
|
|
background-color: #eeeeee }
|
|
|
|
|
|
|
|
|
|
+span.class {
|
|
|
|
|
+ font-family: monospace;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
span.classifier {
|
|
span.classifier {
|
|
|
font-family: sans-serif ;
|
|
font-family: sans-serif ;
|
|
|
font-style: oblique }
|
|
font-style: oblique }
|
|
@@ -234,9 +238,20 @@ span.classifier-delimiter {
|
|
|
font-family: sans-serif ;
|
|
font-family: sans-serif ;
|
|
|
font-weight: bold }
|
|
font-weight: bold }
|
|
|
|
|
|
|
|
|
|
+span.doublesize {
|
|
|
|
|
+ font-size: 200%
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
span.interpreted {
|
|
span.interpreted {
|
|
|
font-family: sans-serif }
|
|
font-family: sans-serif }
|
|
|
|
|
|
|
|
|
|
+span.concept {
|
|
|
|
|
+ font-family: sans-serif }
|
|
|
|
|
+
|
|
|
|
|
+span.function {
|
|
|
|
|
+ font-family: monospace;
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
span.option {
|
|
span.option {
|
|
|
white-space: nowrap }
|
|
white-space: nowrap }
|
|
|
|
|
|
|
@@ -249,6 +264,15 @@ span.pre {
|
|
|
span.problematic {
|
|
span.problematic {
|
|
|
color: red }
|
|
color: red }
|
|
|
|
|
|
|
|
|
|
+/* Firefox, at least, seems to need some help lowering
|
|
|
|
|
+ subscripts. Without the following, subscripts seem not to drop
|
|
|
|
|
+ at all when in a preformatted block. -- DWA
|
|
|
|
|
+*/
|
|
|
|
|
+
|
|
|
|
|
+sub {
|
|
|
|
|
+ vertical-align: -20%
|
|
|
|
|
+}
|
|
|
|
|
+
|
|
|
table {
|
|
table {
|
|
|
margin-top: 0.5em ;
|
|
margin-top: 0.5em ;
|
|
|
margin-bottom: 0.5em }
|
|
margin-bottom: 0.5em }
|