Simplify the tree implementation a bit more

Dependencies

• [2] YPDYBK5G Show dependencies as a tree rather than a list
• [3] KXO3EUSV Factor out the tree rendering
• [4] XDDCO6CH * hydra: add dependency list with links to logfiles
• [5] BA46C5LN * Pretty-print the logs.
• [6] 3PNG7NIB Remove trailing whitespace
• [7] PMNWRTGJ Add multiple output support
• [8] O3CGTZFG Simplify the log tree implementation a bit

Change contents

• replacement in src/root/deps.tt at line 10
  [2.1580]→[4.2030:2037](∅→∅),[4.2030]→[4.2030:2037](∅→∅)
  − <li>
  [2.1580]

  [2.1581]
  + <li class="treenode">
• replacement in src/root/deps.tt at line 12
  [2.1612]→[2.1612:1670](∅→∅)
  − <p><tt>[% node.name %]</tt> (<em>repeated</em>)</p>
  [2.1612]

  [4.2190]
  + <span class="treeline"><tt>[% node.name %]</tt> (<em>repeated</em>)</span>
• replacement in src/root/deps.tt at line 15
  [2.1705]→[2.1705:1715](∅→∅)
  − <p>
  [2.1705]

  [2.1715]
  + <span class="treeline">
• replacement in src/root/deps.tt at line 24
  [2.2128]→[2.2128:2139](∅→∅)
  − </p>
  [2.2128]

  [2.2139]
  + </span>
• replacement in src/root/deps.tt at line 37
  [2.2369]→[2.2369:2374](∅→∅)
  − <ul>
  [2.2369]

  [2.2374]
  + <ul class="tree">
• replacement in src/root/deps.tt at line 47
  [4.15022]→[4.2424:2429](∅→∅),[4.2424]→[4.2424:2429](∅→∅)
  − <ul>
  [4.2367]

  [2.2522]
  + <ul class="tree">
• replacement in src/root/static/css/tree.css at line 7
  [3.160]→[3.160:205](∅→∅)
  − /* Indent each tree level. */

  − li.tree-line {
  [3.160]

  [3.205]
  + /* Indent each tree level and draw vertical tree lines next to all

  + children except the last. */

  + ul.subtree > li {
• edit in src/root/static/css/tree.css at line 12
  [3.254]

  [3.254]
  + border-left: 0.1em solid #6185a0;
• replacement in src/root/static/css/tree.css at line 15
  [3.257]→[3.257:283](∅→∅)
  − li.tree-line:last-child {
  [3.257]

  [3.283]
  + ul.subtree > li:last-child {
• edit in src/root/static/css/tree.css at line 17
  [3.358]

  [3.358]
  + border-left: 0;
• replacement in src/root/static/css/tree.css at line 20
  [3.361]→[3.361:445](∅→∅)
  − /* Draw vertical tree lines next to all children except the last. */

  − li.tree-line {
  [3.361]

  [3.445]
  + /* Draw the vertical tree line to the last child. */

  + ul.subtree > li:last-child > *:first-child:before {
• edit in src/root/static/css/tree.css at line 25
  [3.486]→[3.486:535](∅→∅)
  − li.tree-line:last-child {

  − border-left: 0;

  − }

  −
• replacement in src/root/static/css/tree.css at line 26
  [3.585]→[3.585:602](∅→∅)
  − span.tree-conn {
  [3.585]

  [3.602]
  + ul.subtree > li > *:first-child:before {

  + content: "";
• edit in src/root/static/css/tree.css at line 33
  [3.719]→[3.719:856](∅→∅)
  − }

  −

  − /* Draw the vertical tree line to the last child. */

  − li.tree-line:last-child > span.tree-conn {

  − border-left: 0.1em solid #6185a0;
• replacement in src/root/static/css/tree.css at line 35
  [3.859]→[3.859:874](∅→∅)
  − .tree-toggle {
  [3.859]

  [3.874]
  + /* Ensure that the + and - have the same size. */

  + a.tree-toggle {
• edit in src/root/static/css/tree.css at line 39
  [3.929]→[3.929:952](∅→∅)
  − font-size: larger;
• replacement in src/xsl/log2html.xsl at line 48
  [4.4948]→[4.1330:1402](∅→∅)
  − <li class='tree-line'>

  − <span class='tree-conn' />
  [4.4948]

  [4.1402]
  + <li>