�� Read
      </button>
      <button id="redraw">
    ↺ Redraw
      </button>
      <button id="palette">
    Randomize (Colors)
      </button>
      <button id="design">
    Randomize (Design)
      </button>

      <input name="grid" type="checkbox" id="grid" checked>
      <label for="grid">Grid</label>
      <button id="png">
    PNG
      </button>
      <input id="pngPixelSize" type="number" value="3"> <!-- was 10 -->
  </div>
  <div>
      <textarea id="out" spellcheck="false"></textarea>
  </di