<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>