1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
|
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
|
-
+
+
|
}
.input-with-label > label {
font-weight: initial;
margin: 0 0.25em 0 0.25em;
vertical-align: middle;
}
table.numbered-lines td {
table.numbered-lines > tbody > tr > td {
font-family: monospace;
font-size: inherit;
line-height: 1.35;
white-space: pre;
margin: 0;
white-space: nowrap;
vertical-align: top;
padding: 1em 0 0 0 /*prevents slight overlap at top */;
}
|
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
|
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
|
+
+
+
+
+
|
}
table.numbered-lines td.file-content > pre {
margin: 0;
padding: 0;
overflow-x: auto;
overflow-y: hidden /* apparently not needed, but eases my mind */;
padding: 0 0 1em 0 /*prevents a slight underlap at bottom from triggering a scrollar */;
line-height: inherit;
font-size: inherit;
font-family: inherit;
}
table.numbered-lines td.file-content > pre > code {
margin: 0;
padding: 0;
white-space: pre;
line-height: inherit;
font-size: inherit;
font-family: inherit;
}
table.numbered-lines td.file-content > pre > code > * {
box-sizing: border-box;
font-size: inherit;
line-height: inherit;
}
div.selectedText/*legacy*/,
table.numbered-lines td.line-numbers span.selected-line/*replacement*/ {
font-weight: bold;
color: blue;
background-color: #d5d5ff;
border: 1px blue solid;
|