tamo 13ce0ebb87

stop requestings the facets if the user has hidden them

2021-03-31 16:27:32 +02:00

..

bulma-prefers-dark.min.css

Move the http server into its own sub-module

2020-11-05 11:16:39 +01:00

bulma.min.css

Move the http server into its own sub-module

2020-11-05 11:16:39 +01:00

filesize.min.js

Move the http server into its own sub-module

2020-11-05 11:16:39 +01:00

jquery-3.4.1.min.js

Move the http server into its own sub-module

2020-11-05 11:16:39 +01:00

logo-black.svg

Fix the milli logo in the README

2020-11-05 11:43:47 +01:00

logo-white.svg

Fix the milli logo in the README

2020-11-05 11:43:47 +01:00

script.js

stop requestings the facets if the user has hidden them

2021-03-31 16:27:32 +02:00

style.css

add a button to display or hide the facets

2021-03-31 16:18:53 +02:00

updates-script.js

Allow users to abort pending updates, one by one or all at once

2020-12-01 14:51:05 +01:00