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');
11 if (input !== document.activeElement) {
12 event.preventDefault();
13 setTimeout(function() {
14 input.focus().select()