option value="150">150 dpi</option>
        <option value="300">300 dpi (slow)</option>
      </select>
    </form>
    <button id="export-pdf" class="btn btn-primary btn-sm">Export PDF</button>
    <script>
      var raster = new ol.layer.Tile({
        source: new ol.source.OSM()
      });

      var format = new ol.format.WKT();
      var feature = format.readFeature(
          'POLYGON((10.689697265625 -25.0927734375, 34.595947265625 ' +
              '-20.1708984375, 38.814697265625 -35.6396484375, 13.