Differences From Artifact [fac35ddbd5]:

• File src/default.css — part of check-in [73ebf81b93] at 2021-04-18 21:08:03 on branch brlist-timeline — Cosmetic tweaks: align the new checkboxes consistently and toggle a class on the Timeline link when any checkboxes are selected, to give the user some indication that the checkboxes are doing something. (user: stephan size: 42233)

To Artifact [8487081d6e]:

• File src/default.css — part of check-in [00891cba00] at 2021-04-19 01:01:04 on branch brlist-timeline — Rename 'Timeline' submenu link into 'View X branches' that is shown only if two or more branches are selected. Also some minor code refactoring for better compatability with old versions of WebView. (user: george size: 42447)

1771
1772
1773
1774
1775
1776
1777




1778
1779
1780
1781
1782



1783

1784
1785
1786
1787
1788
1789
1790

  max-height: 45%;
}

input[type="checkbox"].diff-toggle {
  float: right;
}





body.branch .brlist > table > tbody > tr > td:nth-child(1) {
  display: flex;
  flex-direction: row;
  justify-content: space-between;
}



body.branch a.label.timeline-link.selected {

  font-weight: bold;
}

/* Objects in the "desktoponly" class are invisible on mobile */
@media screen and (max-width: 600px) {
  .desktoponly {
    display: none;

>
>
>
>





>
>
>

>

1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
1797
1798

  max-height: 45%;
}

input[type="checkbox"].diff-toggle {
  float: right;
}

body.branch .brlist > table > tbody > tr:hover > td:first-child,
body.branch .brlist > table > tbody > tr.selected {
  font-weight: bold;
}
body.branch .brlist > table > tbody > tr > td:nth-child(1) {
  display: flex;
  flex-direction: row;
  justify-content: space-between;
}
body.branch a.label.timeline-link {
  display: none;
}
body.branch a.label.timeline-link.selected {
  display: inline;
  font-weight: bold;
}

/* Objects in the "desktoponly" class are invisible on mobile */
@media screen and (max-width: 600px) {
  .desktoponly {
    display: none;