<div id="nav">
    <ul id="navlist">
        <li><a href="/">Home</a></li>
        <li><a href="/blog/">Surfin&#8217; Safari Blog</a></li>
        <li><a href="/contact.html">Keeping in Touch</a></li>
        <li><a href="http://trac.webkit.org/projects/webkit">Trac</a></li>

        <li class="subtitle">Working with the Code</li>

        <li><a href="/building/tools.html">Installing Developer Tools</a></li>
        <li><a href="/building/checkout.html">Getting the Code</a></li>
        <li><a href="/building/build.html">Building WebKit</a></li>
        <li><a href="/building/run.html">Running WebKit</a></li>
        <li><a href="/building/debug.html">Debugging WebKit</a></li>
        <li><a href="/coding/contributing.html">Contributing Code</a></li>

        <li class="subtitle">Documentation</li>

        <li><a href="/projects/">Projects</a></li>
        <li><a href="/coding/coding-style.html">Code Style Guidelines</a></li>
        <li><a href="http://trac.webkit.org/projects/webkit/wiki/Drosera">Drosera</a></li>
        <li><a href="http://trac.webkit.org/projects/webkit/wiki/WebDevelopers">Web developer resources</a></li>
        <li><a href='/docs/hierarchy.html'>DOM interfaces</a></li>
        <li><a href="http://trac.webkit.org/projects/webkit/wiki">Wiki</a></li>

        <li class="subtitle">Testing</li>

        <li><a href="/quality/testing.html">Regression Testing</a></li>
        <li><a href="/quality/leakhunting.html">Leak Hunting</a></li>
        <li><a href="/quality/testwriting.html">Writing New Tests</a></li>

        <li class="subtitle">Bugs</li>

        <li><a href="/projects/compat/hitlist.html">Compatibility Hit List</a></li>
        <li><a href="/quality/reporting.html">Reporting Bugs</a></li>
        <li><a href="/quality/bugwriting.html">Bug Report Guidelines</a></li>
        <li><a href="/quality/bugpriorities.html">Bug Prioritization</a></li>
        <li><a href="/quality/reduction.html">Test Case Reduction</a></li>
        <li><a href="/quality/lifecycle.html">Bug Life Cycle</a></li>
<?php
        if (function_exists("wp_get_archives")) {
            print "<li class=\"subtitle\">Archives</li>\n";
            wp_get_archives('type=monthly');
        }
?>
    </ul>
    <div id="notice">
        WebKit is open source software with portions licensed under the
        <a href="/coding/lgpl-license.html">LGPL</a> and
        <a href="/coding/bsd-license.html">BSD licenses</a>.
        Complete license and copyright information can be found within the code.
    </div>
</div>