<!doctype html>
<html lang="en">
    <head>
        <title>Scribble</title>
        <meta charset="utf-8"/>
        <link rel="stylesheet" href="//fonts.googleapis.com/css?family=Source+Code+Pro:400,700"/>
        <link rel="stylesheet" href="web.css"/>
        <script src="//cdn.jsdelivr.net/ace/1.1.6/min/ace.js" charset="utf-8"></script>
        <script src="web.js"></script>
    </head>
    <body>
        <p id="control">
            <button id="scribble">Check</button>
            Protocol:<input type="text" id="proto" />
            Role:<input type="text" id="role" />
            <button id="project">Project</button>
            <button id="graph">Generate Graph</button>
            <select id="sample">
                <option>hello world</option>
                <option>for loop</option>
            </select>
        </p>
        <div id="editor"></div>
        <pre id="result" class="highlight"></pre>
    </body>
</html>

<!doctype html>
<html lang="en">
    <head>
        <title>Scribble</title>
        <meta charset="utf-8"/>
        <link rel="stylesheet" href="//fonts.googleapis.com/css?family=Source+Code+Pro:400,700"/>
        <link rel="stylesheet" href="web.css"/>
        <script src="//cdn.jsdelivr.net/ace/1.1.6/min/ace.js" charset="utf-8"></script>
        <script src="web.js"></script>
    </head>
    <body>
        <div id="editor"></div>
        <p id="control">
            <button id="scribble">Check</button>
            Protocol:<input type="text" id="proto" />
            Role:<input type="text" id="role" />
            <button id="project">Project</button>
            <button id="graph">Generate Graph</button>
            <select id="sample">
                <option>hello world</option>
                <option>for loop</option>
            </select>
        </p>
        <pre id="result" class="highlight"></pre>
    </body>
</html>

Improve the layout of the controls.
Improve the layout of the controls.
