getty
/
matzo-web


			
				
					
						
						
							123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135
							<!DOCTYPE html>
<html>
  <head>
    <title>Matzo Playground</title>

    <meta property="og:title" content="Matzo Playground" />
    <meta property="og:type" content="website" />
    <meta property="og:url" content="https://gdritter.com/mtz.html" />
    <meta property="og:image" content="https://gdritter.com/imgs/matzo-logo.png" />

    <meta charset="utf-8">
    <script type="text/javascript">
     const sources = %SOURCES%;
    </script>
    <style type="text/css">
     body, html {
       height: 100%;
       margin: 0em;
       font-family: "Fira Mono", "Roboto", monospace;
     }

     a {
       color: #b9794a;
       font-weight: bold;
     }

     .content {
       height: 100%;
       margin: 0;
       display: flex;
       flex-direction: column;
     }

     .all {
       flex: 1;
       display: flex;
       overflow-y: scroll;
     }

     .all > div {
       width: 50%;
       height: 100%;
       max-height: 100%;
     }

     #output {
       padding: 1em 3em;
       font-size: 14pt;
       white-space: pre-wrap;
     }

     .panel {
       overflow: hidden;
       margin: 0;
       display: flex;
       flex-direction: column;
     }

     .outbox {
       background-color: #eee;
     }

     #srcbox {
       margin: 0;
       height: 100%;
       max-height: 100%;
     }

     #src {
       max-width: 100%;
       height: 100%;
     }

     .cm-editor {
       max-height: 100%;
       height: 100%;
     }

     #run {
       width: 8em;
     }

     header, footer {
       display: flex;
       justify-content: space-between;
       background-color: #ddd;
     }
     header > div {
       display: flex;
       align-items: center;
       padding: 0.5em 1em;
     }
     #logo {
       padding-right: 1em;
     }
     footer > span {
       padding: 0.5em 2em;
     }
    </style>
  </head>
  <body><div class="content">
    <header>
      <div>
        <img id="logo" src="./matzo-logo.svg" height="24pt">
        <span>Playground for the <a href="https://github.com/aisamanra/matzo/">Matzo Language</a></span>
      </div>
      <div>
        <select id="examples">
          <option value="hello">hello.matzo</option>
          %EXAMPLES%
        </select><br/>
      </div>
    </header>
    <div class="all">
      <div class="panel">

        <div id="srcbox">
          <div id="src"></div>
        </div>
      </div>
      <div class="outbox">
        <pre id="output"></pre>
      </div>
    </div>
    <footer>
      <span>
        random seed: <input type="text" id="seed" value="12345" />
      </span>
      <span>
        <input type="submit" id="run" value="Reroll" />
      </span>
    </footer>
    <script src="dist/main.js"></script>
  </div></body>
</html>