`
}
window.closeReportMenu = function() { dbox.innerHTML = "";}
window.submitReport = function() {
report({type: "user-report", desc: document.getElementById('info').value })
setTimeout(() => window.closeReportMenu(), 10)
}
Mousetrap.bind('?', window.openReportMenu)
window.dbox = document.getElementsByTagName('dbox')[0]
window.onload = function() {
var a = document.getElementsByClassName('entry-content')
if(a.length