1
0
mirror of https://github.com/nileshtrivedi/better synced 2024-12-26 21:22:32 +01:00
migliori-alternative/options.html
Mitesh 1c4e6ffcfb
feat: options to add, edit, remove source lists (#36)
* feat: options to add, edit, remove source lists

* fix: failure recovery even if one or more sources fail
2020-09-12 23:58:30 +05:30

49 lines
940 B
HTML

<!DOCTYPE html>
<html>
<head>
<style>
body {
margin: 40px auto;
max-width: 650px;
line-height: 1.6;
font-size: 18px;
color: #444;
padding: 0 10px
}
h1,
h2,
h3 {
line-height: 1.2
}
input[type=url] {
width: 100%;
padding: 12px 20px;
margin: 8px 0;
box-sizing: border-box;
}
button {
padding: 5px 5px;
font-size: 16px;
}
</style>
</head>
<body>
<div>
<h3>Choose a different source of suggestions!</h3>
<!-- TODO: Fetch the current option value and set in URL field below -->
<div id="betterSourceInputContainer">
</div>
<button id="addSourceButton">Add a new source +</button>
<button id="betterSourceSubmit" value="Save">Save</button>
</div>
<p><small>To delete a source: empty the field, hit save, and refresh the page.</small></p>
</body>
<script src="options.js"></script>
</html>