% set area_color "#ddddcc" %> <% cr_basic_header "colin roald : tech" %> <% cr_titlebar "tech notes" $area_color %>
<% cr_basic_navbar "home" $area_color %> <% cr_basic_footer %>