Differences From Artifact [45fbb8c7a8]:

• File src/default_css.txt — part of check-in [236586d6f2] at 2018-12-27 19:55:42 on branch trunk — Attempt to draw the entire length of a cherrypick merge line using a dashed line. (user: drh size: 13029)

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

167
168
169
170
171
172
173
174
175
176






177
178
179
180
181
182
183

}
.tl-arrow.cherrypick.l {
  border-right: 3px solid #000;
}
.tl-arrow.cherrypick.r {
  border-left: 3px solid #000;
}
.tl-line.cherrypick {
  width: 0px;
  border-top: 1px dashed #000;






  border-left: 1px dashed #000;
  background: #fff;
}
.tl-arrow.warp {
  margin-left: 1px;
  border-width: 3px 0;
  border-left: 7px solid #600000;

|


>
>
>
>
>
>

167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189

}
.tl-arrow.cherrypick.l {
  border-right: 3px solid #000;
}
.tl-arrow.cherrypick.r {
  border-left: 3px solid #000;
}
.tl-line.cherrypick.h {
  width: 0px;
  border-top: 1px dashed #000;
  border-left: 0px dashed #000;
  background: #fff;
}
.tl-line.cherrypick.v {
  width: 0px;
  border-top: 0px dashed #000;
  border-left: 1px dashed #000;
  background: #fff;
}
.tl-arrow.warp {
  margin-left: 1px;
  border-width: 3px 0;
  border-left: 7px solid #600000;