nsf

Clone
Stefan Sobernig <stefan.sobernig@wu.ac.at>
committed
8c19557
on 13 May 19
Added CI entries to README.release [skip ci]
define-incrementals + 8 more
doc/man.css (+41 -25)
10 10     margin-left:        10%;
11 11     margin-right:       10%;
12 12 }
13 13 DIV.doctools H1,DIV.doctools H2 {
14 14     margin-left:        -5%;
15 15 }
16 16 H1, H2, H3, H4 {
17 17     margin-top:         1em;
18 18     font-family:        sans-serif;
19 19     font-size:  large;
20 20     color:              #89a618;
21 21     background:         transparent;
22 22     text-align:         left;
23 23 }
24 24
25 25 h2 {
26 26     border-bottom: 1px solid #89a618;
27 27     text-transform: uppercase;
28 28 }
29 29
30   H1.title {
  30 H1.doctools_title {
31 31     text-align: center;
32 32 }
33 33
34 34 /* UL,OL {
35 35     margin-right: 0em;
36 36     margin-top: 3pt;
37 37     margin-bottom: 3pt;
38 38 } */
39 39
40 40 UL LI {
41 41     list-style: disc;
42 42 }
43 43 OL LI {
44 44     list-style: decimal;
45 45 }
46 46 DT {
47 47     padding-top:        1ex;
48 48 }
49 49 UL.toc,UL.toc UL, UL.toc UL UL {
50 50     font:               normal 12pt/14pt sans-serif;
51 51     list-style: none;
52 52 }
53   LI.section, LI.subsection {
  53 LI.doctools_section, LI.doctools_subsection {
54 54     list-style:         none;
55 55     margin-left:        0em;
56 56     text-indent:        0em;
57 57     padding:    0em;
58 58 }
  59
59 60 PRE {
60 61     display:    block;
61 62     font-family:        monospace;
62 63     white-space:        pre;
63 64     margin:             0%;
64 65     padding-top:        0.5ex;
65 66     padding-bottom:     0.5ex;
66 67     padding-left:       1ex;
67 68     padding-right:      1ex;
68 69     width:              100%;
69 70 }
70   PRE.example {
  71
  72 PRE.doctools_example {
71 73     color:              black;
72 74     background:         #f5dcb3;
73 75     border:             1px solid black;
74 76 }
75   UL.requirements LI, UL.syntax LI {
  77
  78 UL.doctools_requirements LI, UL.doctools_syntax LI {
76 79     list-style:         none;
77 80     margin-left:        0em;
78 81     text-indent:        0em;
79 82     padding:    0em;
80 83 }
81 84
82 85 /* DIV.synopsis {
83 86     color:              black;
84 87     background:         #80ffff;
85 88     border:             1px solid black;
86 89     font-family:        serif;
87 90     margin-top:         1em;
88 91     margin-bottom:      1em;
89 92 } */
90 93
91 94 /* UL.syntax {
92 95     margin-top:         1em;
93 96     border-top: 1px solid black;
94 97 }*/
95 98
96   UL.requirements {
  99 UL.doctools_requirements {
97 100     margin-bottom:      1em;
98 101     border-bottom:      1px solid black;
99 102 }
100 103
101 104 i.term {
102 105     border-bottom: 1px dotted #000000;
103 106     font-style: normal;
104 107     text-decoration: none;
105 108 }
106 109
107 110
108   dl.definitions b.method {
  111 dl.doctools_definitions b.method {
  112     /*
109 113        background: none repeat scroll 0 0 #fcfbfa;
110 114        border: 1px solid #efeeed;
111 115        padding: 0 3px;
  116     */
112 117     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
113 118     font-size: 92.308%;
114 119     line-height: 1.35;
115 120     font-weight: bold;
116 121 }
117 122
118   dl.definitions i.arg, dl.options i.arg {
119       background: none repeat scroll 0 0 #ffffff;
  123 dl.doctools_definitions i.arg, dl.options i.arg {
  124     /* background: none repeat scroll 0 0 #ffffff;
120 125     border: 1px solid #efeeed;
121 126     padding: 0 3px;
  127    */
122 128     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
123 129     font-size: 92.308%;
124 130     line-height: 1.35;
125 131     font-weight: normal;
126 132 }
127 133
128   dl.definitions b.option, dl.options b.option {
  134 dl.doctools_definitions b.option, dl.options b.option {
  135     /*
129 136        background: none repeat scroll 0 0 #ffffff;
130 137        border: 1px solid #efeeed;
131 138        padding: 0 3px;
  139    */
132 140     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
133 141     font-size: 92.308%;
134 142     line-height: 1.35;
135 143     font-weight: normal;
136 144     text-decoration: none;
137 145 }
138 146
139   dl.definitions b.cmd, p b.cmd {
140       background: none repeat scroll 0 0 #e7edd3;
  147 dl.doctools_definitions b.cmd, p b.cmd {
  148     /* background: none repeat scroll 0 0 #e7edd3;
141 149        border: 1px solid #89a618;
142       padding: 0 3px;
  150        padding: 0 3px; */
143 151     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
144 152     font-size: 92.308%;
145 153     line-height: 1.35;
146 154     font-weight: bold;
147 155 }
148 156
149   dl.definitions b.const, p b.const {
  157 dl.doctools_definitions b.const, p b.const {
150 158     /* background: none repeat scroll 0 0 #ffffff; */
151 159     /* border: 1px solid #efeeed; */
152 160     padding: 0 3px;
153 161     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
154 162     font-size: 92.308%;
155 163     line-height: 1.35;
156 164     font-weight: normal;
157 165     text-decoration: none;
158 166 }
159 167
160 168
161 169 code, kbd, pre, samp {
162 170     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
163 171     font-size: 92.308%;
164 172     line-height: 1.35;
165 173 }
166 174
167   pre.example {
  175 pre.doctools_example {
168 176     background: none repeat scroll 0 0 #fcfbfa;
169 177     border-color: #efeeed;
170 178     border-image: none;
171 179     border-style: solid;
172 180     border-width: 1px 1px 1px 5px;
173 181 }
174 182
175   div.synopsis {
  183 div.doctools_synopsis {
176 184     background: none repeat scroll 0 0 #e7edd3;
177 185     border-color: #d4d8eb;
178 186     border: 1px solid;
179 187     border-radius: 3px;
180 188     margin: 1em 0;
181 189     padding: 0 1em;
182 190 }
183 191
184   div.synopsis ul {
  192 div.doctools_synopsis ul {
185 193     padding-left: 0;
186 194 }
187 195
188 196
189 197 a:link {
190 198     color: #002a4b;
191 199     text-decoration: none
192 200 }
  201
  202 /* SF-specific styling */
  203
  204 hr {
  205     border: 0;
  206     height: 1px;
  207     background: #89a618;
  208 }