From 00be5e6ced35ceb7a7f496c55e6f383598a1280e Mon Sep 17 00:00:00 2001 From: Lorenzo Yario Date: Fri, 17 May 2024 00:51:24 -0700 Subject: [PATCH] remove redundant second catalog button --- js/catalog-link.js | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) diff --git a/js/catalog-link.js b/js/catalog-link.js index 2a3a8853..2811f025 100644 --- a/js/catalog-link.js +++ b/js/catalog-link.js @@ -30,17 +30,7 @@ function catalog() { var link = document.createElement('a'); link.href = catalog_url; - if (pages) { - link.textContent = _('Catalog'); - link.style.color = '#F10000'; - link.style.padding = '4px'; - link.style.paddingLeft = '9px'; - link.style.borderLeft = '1px solid'; - link.style.borderLeftColor = '#A8A8A8'; - link.style.textDecoration = "underline"; - - pages.appendChild(link); - } else { + if (!pages) { link.textContent = '['+_('Catalog')+']'; link.style.paddingLeft = '10px'; link.style.textDecoration = "underline";