<!DOCTYPE HTML>
<html>
    <head>
        <meta http-equiv="content-type" content="text/html; charset=utf-8">
        <title>Mathematical term rewriting frontend</title>
        <link rel="stylesheet" href="/static/frontend/css/editor.css">
        <link rel="stylesheet" href="/static/bootstrap/css/bootstrap.min.css">
    </head>
    <body>
        <div class="navbar navbar-inverse navbar-fixed-top">
            <div class="navbar-inner">
                <div class="container">
                    <a class="brand" href="">Mathematical Term Rewriting</a>
                    <ul class="nav">
                        <li><a href="index.html">Editor</a></li>
                        <li class="active"><a href="tutorial.html">Tutorial</a></li>
                    </ul>
                </div>
            </div>
        </div>

        <div class="container">
        </div>

        <script type="text/javascript" src="/static/js/jquery-1.8.2.min.js"></script>
        <script type="text/javascript" src="/static/bootstrap/js/bootstrap.min.js"></script>
    </body>
</html>