);
      $('#display').change(convert);
    });
  </script>
  <style type="text/css">
  body { font-family: sans-serif; text-color: #555; font-size: 12pt; margin: 1em; }
  h1 { font-size: 20pt; max-width: 13em; margin-right: 1em; }
  .main-container { display: flex; flex-wrap: wrap; }
  .container { display: flex; flex: 1; flex-wrap: wrap; min-width: 300px; margin: 6pt; }
  textarea { width: 100%; font-size: 11pt; padding: 6px; }
  pre { white-space: pre-wrap; color: blue; font-size: 11pt; font-family: mono