Differences From Artifact [00d7a7f475]:

• File src/default_css.txt — part of check-in [3d922b5210] at 2018-12-29 13:04:34 on branch trunk — Improved default CSS for drawing dashed lines for cherrypick merges. (user: drh size: 13154)

To Artifact [5f3cb3586a]:

• File src/default_css.txt — part of check-in [724a9b8f3c] at 2019-01-02 15:31:35 on branch trunk — Enhancements to the hamburger menu mechanism. (user: drh size: 13182) [more...]

217
218
219
220
221
222
223

224
225
226
227
228
229
230

  padding: 0 0 0 1em;
}
div.columns > ul li:first-child {
  margin-top:0px;
}
.columns li {
  break-inside: avoid;

}
.filetree {
  margin: 1em 0;
  line-height: 1.5;
}
.filetree > ul {
  display: inline-block;

>

217
218
219
220
221
222
223
224
225
226
227
228
229
230
231

  padding: 0 0 0 1em;
}
div.columns > ul li:first-child {
  margin-top:0px;
}
.columns li {
  break-inside: avoid;
  page-break-inside: avoid;
}
.filetree {
  margin: 1em 0;
  line-height: 1.5;
}
.filetree > ul {
  display: inline-block;