1 window.onload = function() {
2 var radios = document.getElementsByClassName("radiotab");
3 if (radios.length > 0) {
4 radios[0].checked = true;
8 document.addEventListener('keydown', function (event) {
9 if (event.code == 'Slash') {
10 let input = document.getElementById('search');
12 if (input !== document.activeElement) {
13 event.preventDefault();
14 setTimeout(function() {
15 input.focus().select()