3s toast autodismiss

review.html

@@ -320,7 +320,7 @@ function toast(msg, withExport) {
     `<button onclick="hideToast()">dismiss</button>`;
   t.style.display = 'flex';
   clearTimeout(toastTimer);
-  toastTimer = setTimeout(hideToast, 15000);
+  toastTimer = setTimeout(hideToast, 3000);
 }
 function warnToast(msg) {
   const t = $('toast');
@@ -328,7 +328,7 @@ function warnToast(msg) {
   t.classList.add('warn');
   t.style.display = 'flex';
   clearTimeout(toastTimer);
-  toastTimer = setTimeout(hideToast, 20000);
+  toastTimer = setTimeout(hideToast, 3000);
 }
 function bindMarks(o) {
   document.querySelectorAll('#passage mark').forEach(m => m.onclick = () => {