Artifact 5188b489fe9e6701ba1c79b4e6f3438145e26085af4989cee091d04d853cfd2a:

• File skins/khaki/header.txt — part of check-in [eb8af11bf3] at 2021-02-10 01:38:29 on branch trunk — More CSS tweaks to darkmode. Add the hamburger menu to the khaki skin. Minor styling tweak to plain_gray. (user: drh size: 725)

<div class="header">
  <div class="title">$<title></div>
  <div class="status">
    <div class="logo">$<project_name></div><br/>
    <th1>
     if {[info exists login]} {
       puts "Logged in as $login"
     } else {
       puts "Not logged in"
     }
  </th1></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]} {set url $home$url}
  html "<a href='$url'>$name</a>\n"
}
if {[info exists login]} {
  html "<a href='/logout'>Logout</a>\n"
} else {
  html "<a href='/login'>Login</a>\n"
}
</th1></div>
<div id='hbdrop'></div>