ound-color: #111; }
    </style>
  </head>

  <body>
    <!--
      Explanation of settings:
        report_search_interval=50 : backend sends search messages every 250ms.
    -->
    <div class="minigui" data-gtp-report_search_interval="50">

      <div class="main-board-pad board"><div id="main-board"></div></div>

      <div class="sp-3vh"></div>

      <div class="fs-0" style="display:flex; flex-direction:column">
        <div class="fs-0" style="display:flex">
          <div id="toggle-search" class="b