source/_includes/header.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

<div class="align-l">
  <a href="/">PREFETCH</a>
</div>
<div id="nav" class="align-r">
  <a id="nav-show" href="#">{menu}</a>
  <div id="nav-list">
    <div class="nav-entry">
      <a href="/blog/">
        <div class="nav-entry-name">
          blog
        </div>
        <div class="nav-entry-desc">
          technical musings of a philosopher
        </div>
      </a>
    </div>
    <div class="nav-entry">
      <a href="/code/">
        <div class="nav-entry-name">
          code
        </div>
        <div class="nav-entry-desc">
          tiny miscreations of a programmer
        </div>
      </a>
    </div>
    <div class="nav-entry">
      <a href="/know/">
        <div class="nav-entry-name">
          know
        </div>
        <div class="nav-entry-desc">
          terrifying mumblings of a physicist
        </div>
      </a>
    </div>
  </div>
</div>