Artifact b5badb60c494d7206e088a6996573cdd6b8579a73e7f1360a1119fc0400a0f13:

• File skins/darkmode/header.txt — part of check-in [6d9ac907e5] at 2021-06-15 17:11:11 on branch trunk — An improved matcher algo for [76916757] and a slight padding adjustment of (.mainmenu a) elements in the default skin to work around a Firefox-specific quirk where the active link underlining did not appear. (user: stephan size: 821) [more...]

<div class="header">
  <div class="status leftoftitle"><th1>
   if {[info exists login]} {
     set logintext "<a href='$home/login'>$login</a>\n"
   } else {
     set logintext "<a href='$home/login'>Login</a>\n"
   }
   html $logintext
  </th1></div>
  <div class="title">$<title></div>
  <div class="status"><nobr><th1>
   html $logintext
  </th1></nobr></div>
</div>
<div class="mainmenu">
<th1>
html "<a id='hbbtn' href='$home/sitemap' aria-label='Site Map'>&#9776;</a>"
builtin_request_js hbmenu.js
foreach {name url expr class} $mainmenu {
  if {![capexpr $expr]} continue
  if {[string match /* $url]} {
    if {[string match $url\[/?#\]* /$current_page/]} {
      set class "active $class"
    }
    set url $home$url
  }
  html "<a href='$url' class='$class'>$name</a>\n"
}
</th1></div>
<div id='hbdrop'></div>