
<select class="form-control" onchange="if (this.value) window.location.href=this.value">
    <option
      value="/latest"
      >
      Version: master
    </option>
    <option
      value="/v1_3_0/os/introduction"
      {% if config.extra.version == "v1_3_0" %}selected="selected"{% endif %}
      >
      Version: 1.3.0
    </option>
    <option
      value="/v1_2_0/os/introduction"
      {% if config.extra.version == "v1_2_0" %}selected="selected"{% endif %}
      >
      Version: 1.2.0
    </option>
    <option
      value="/v1_1_0/os/introduction"
      {% if config.extra.version == "v1_1_0" %}selected="selected"{% endif %}
      >
      Version: 1.1.0
    </option>
    <option
      value="/v1_0_0/os/introduction"
      {% if config.extra.version == "v1_0_0" %}selected="selected"{% endif %}
      >
      Version: 1.0.0
    </option>
    <option
      value="/v0_9_0/os/introduction"
      {% if config.extra.version == "v0_9_0" %}selected="selected"{% endif %}
      >
      Version: 0.9.0
    </option>
</select>