diff --git a/html_resources/main.css b/html_resources/main.css index 9658509..92ce2c1 100644 --- a/html_resources/main.css +++ b/html_resources/main.css @@ -15,7 +15,7 @@ a:visited{ color: rgb(150,100,200) } a:hover{ color: rgb(200,150,100) } pre:empty{ display: none } .category{ padding: 0.2em 1em; cursor: pointer; text-transform: capitalize } -.category::after{ content: " (" attr(data-value) ")"} +#categories > .category::after{ content: " (" attr(data-value) ")"} .currentCategory, .category:hover{ background-color: grey } diff --git a/html_resources/selector.js b/html_resources/selector.js index e76cd82..24b4c0c 100644 --- a/html_resources/selector.js +++ b/html_resources/selector.js @@ -47,13 +47,13 @@ function fetchWithType(url){ let previousCategory = new (function(){ let current = null; - let fileNames = null; + this.fileNames = null; this.set = function(t,secondary){ current&¤t.classList.remove("currentCategory"); current = t; current.classList.add("currentCategory"); - fileNames = DB.query(t.textContent,secondary?filNames:null); + this.fileNames = DB.query(t.textContent,secondary?this.filNames:null); }; return this })()