diff options
Diffstat (limited to 'web/http/index.html')
| -rw-r--r-- | web/http/index.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/web/http/index.html b/web/http/index.html index bc6a37d..65b5b18 100644 --- a/web/http/index.html +++ b/web/http/index.html | |||
| @@ -35,7 +35,11 @@ | |||
| 35 | <br /> | 35 | <br /> |
| 36 | <label for="maxSolutions">Limit number of solutions to</label> | 36 | <label for="maxSolutions">Limit number of solutions to</label> |
| 37 | <input id="maxSolutions" name="maxSolutions" | 37 | <input id="maxSolutions" name="maxSolutions" |
| 38 | type="number" min="1" max="999" value="1"> | 38 | type="number" min="1" max="999" value="1" /> |
| 39 | <br /> | ||
| 40 | <label for="optimalInput">Above optimal by at most</label> | ||
| 41 | <input id="optimalInput" name="optimal" | ||
| 42 | type="number" min="0" max="20" value="20" /> | ||
| 39 | </div> | 43 | </div> |
| 40 | 44 | ||
| 41 | <div id="confirmDownload" style="display:none"> | 45 | <div id="confirmDownload" style="display:none"> |