@@ -57,21 +57,19 @@ div.abstract p.topic-title {
57
57
div .admonition , div .attention , div .caution , div .danger , div .error ,
58
58
div .hint , div .important , div .note , div .tip , div .warning {
59
59
margin : 2em ;
60
- border : medium outset ;
60
+ border : thin ;
61
61
padding : 1em }
62
62
63
63
div .admonition p .admonition-title , div .hint p .admonition-title ,
64
64
div .important p .admonition-title , div .note p .admonition-title ,
65
65
div .tip p .admonition-title {
66
- font-weight : bold ;
67
- font-family : sans-serif }
66
+ font-weight : bold }
68
67
69
68
div .attention p .admonition-title , div .caution p .admonition-title ,
70
69
div .danger p .admonition-title , div .error p .admonition-title ,
71
70
div .warning p .admonition-title , .code .error {
72
71
color : red ;
73
- font-weight : bold ;
74
- font-family : sans-serif }
72
+ font-weight : bold }
75
73
76
74
/* Uncomment (and remove this text!) to get reduced vertical space in
77
75
compound paragraphs.
@@ -119,15 +117,14 @@ html[dir="rtl"] div.line-block div.line-block {
119
117
120
118
div .sidebar {
121
119
margin : 0 0 0.5em 1em ;
122
- border : medium outset ;
120
+ border : thin ;
123
121
padding : 1em ;
124
122
background-color : # ffffee ;
125
123
width : 40% ;
126
124
float : right ;
127
125
clear : right }
128
126
129
127
div .sidebar p .rubric {
130
- font-family : sans-serif ;
131
128
font-size : medium }
132
129
133
130
div .system-messages {
@@ -137,7 +134,7 @@ div.system-messages h1 {
137
134
color : red }
138
135
139
136
div .system-message {
140
- border : medium outset ;
137
+ border : thin ;
141
138
padding : 1em }
142
139
143
140
div .system-message p .system-message-title {
@@ -232,12 +229,10 @@ p.rubric {
232
229
text-align : center }
233
230
234
231
p .sidebar-title {
235
- font-family : sans-serif ;
236
232
font-weight : bold ;
237
233
font-size : larger }
238
234
239
235
p .sidebar-subtitle {
240
- font-family : sans-serif ;
241
236
font-weight : bold }
242
237
243
238
p .topic-title {
@@ -260,15 +255,12 @@ pre.code .inserted, code .inserted { background-color: #A3D289}
260
255
*/
261
256
262
257
span .classifier {
263
- font-family : sans-serif ;
264
258
font-style : oblique }
265
259
266
260
span .classifier-delimiter {
267
- font-family : sans-serif ;
268
261
font-weight : bold }
269
262
270
- span .interpreted {
271
- font-family : sans-serif }
263
+ span .interpreted { }
272
264
273
265
span .option {
274
266
white-space : nowrap }
0 commit comments