Fossil

Check-in [618c6b1319]
Login

Check-in [618c6b1319]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Added a few 'inherits' CSS properties to resolve font size mayem when hilightjs does its thing.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | line-number-selection
Files: files | file ages | folders
SHA3-256: 618c6b131979604f7268f999fb1f7e3833f4a9cea4ab5a40bb525442faf95043
User & Date: stephan 2020-08-15 09:15:55.821
Context
2020-08-15
09:58
Some CSS consolidation and got the horizontal scrollbars working on unusually wide code files. ... (check-in: 3d49b73f40 user: stephan tags: line-number-selection)
09:15
Added a few 'inherits' CSS properties to resolve font size mayem when hilightjs does its thing. ... (check-in: 618c6b1319 user: stephan tags: line-number-selection)
08:43
Added missing fossil.copybutton.js. ... (check-in: b646e724b7 user: stephan tags: line-number-selection)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/default.css.
︙︙
1151
1152
1153
1154
1155
1156
1157
1158
1159

1160
1161
1162
1163
1164
1165
1166

}
.input-with-label > label {
  font-weight: initial;
  margin: 0 0.25em 0 0.25em;
  vertical-align: middle;
}

table.numbered-lines td {
  font-family: monospace;

  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 */;
}








|

>








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 > 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

}
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 */;



}
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;


}
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;








>
>
>











>
>








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;
︙︙