Fossil: Artifact [a96debf129]

Artifact a96debf12954a866106f2741590bcdfef940f20fb6dedbdbb320ac2c81a5a2ce:

File skins/blitz_no_logo/header.txt — part of check-in [cc675c0a9a] at 2021-01-26 23:31:26 on branch new-main-menu — Fix the default header files so that they correctly apply the $home prefix only for URLs that begin with /. (user: drh size: 1130) [more...]

<div class="header">
  <div class="container">

    <div class="login pull-right">
      <th1>
        if {[info exists login]} {
          html "<b>$login</b> — <a class='button' href='$home/login'>Logout</a>\n"
        } else {
          html "<a class='button' href='$home/login'>Login</a>\n"
        }
      </th1>
    </div>
    <div class='title'>
      <h1>$<project_name>
      <th1>
      if {[anycap jor]} {
        html "<a class='rss' href='$home/timeline.rss'></a>"
      }
      </th1>
      <small> &nbsp;$<title></small></h1>
    </div>

    <!-- Main Menu -->
    <div class="mainmenu">
      <ul><th1>
set once 1
foreach {name url expr class} $mainmenu {
  if {![capexpr $expr]} continue
  if {$once && [string match /$current_page* $url]} {
    html "<li class='active'>"
    set once 0
  } else {
    html "<li>"
  }
  if {[string match /* $url]} {set url $home$url}
  html "<a href='$url'>$name</a></li>\n"
}
</th1></ul>
        </div> <!-- end div mainmenu -->
      </div> <!-- end div container -->
    </div> <!-- end div header -->
    <div class="middle max-full-width">
      <div class="container">