+const HTML_HEADER: &str = "<!DOCTYPE html>
+<html>
+ <head>
+ <meta charset=\"utf-8\">
+ <title>Vote!</title>
+ <style>
+ th { font-size: 70%; text-align: left }
+ input { transform: scale(1.5) }
+ div { animation: 2s infinite linear spin }
+ @keyframes spin {
+ from { transform:rotate(0) }
+ to { transform:rotate(1turn) }
+ }
+ </style>
+ <script>
+ window.onload = function() {
+ for (cb of document.getElementsByTagName('input')) {
+ cb.addEventListener('click', (function(cb) {
+ return function() {
+ cb.style.display = 'none'
+ const spin = document.createElement('div')
+ spin.appendChild(document.createTextNode('⏳'))
+ cb.parentElement.insertBefore(spin, cb)
+
+ const req = new XMLHttpRequest()
+ req.addEventListener('load', function(e) {
+ cb.parentElement.removeChild(cb.previousElementSibling)
+ if (req.status == 200) {
+ cb.style.display = ''
+ const delta = cb.checked ? 1 : -1
+ const count_td = cb.parentElement.previousElementSibling
+ count_td.textContent = parseInt(count_td.textContent) + delta
+ } else {
+ cb.parentElement.insertBefore(document.createTextNode('❗'), cb)
+ }
+ })
+ req.open('PUT', window.location.href)
+ req.send((cb.checked ? 1 : 0) + ' ' + cb.parentElement.nextElementSibling.innerHTML)
+ }
+ })(cb))
+ cb.disabled = false
+ }
+ }
+ </script>
+ </head>
+ <body>
+ <table>
+ <tr>
+ <th>Count</th>
+ <th>Vote</th>
+ <th>Candidate</th>
+ </tr>";
+const HTML_FOOTER: &str = "
+ </table>
+ </body>
+</html>";
+
+fn supports(tally: &HashMap<String, HashSet<String>>, me: &str, candidate: &str) -> bool {
+ tally
+ .get(candidate)
+ .map(|supporters| supporters.contains(me))
+ .unwrap_or(false)
+}
+