|
divers.js
|
Fix some styling issues, particularly on Divers
|
2022-08-09 19:24:43 +02:00 |
|
explorer.js
|
Fix no fancybox configuration on reload
|
2022-08-08 12:28:33 +02:00 |
|
exposition.js
|
Fix no fancybox configuration on reload
|
2022-08-08 12:28:33 +02:00 |
|
fancybox.js
|
Fix FancyBox in the list view of Explorer
|
2022-08-03 12:30:56 +02:00 |
|
menu.js
|
Animation for hamburger menu
|
2021-02-13 00:11:58 +01:00 |
|
pagination.js
|
Better pagination (multi-sync)
|
2022-08-03 18:17:38 +02:00 |
|
painting.js
|
Metadata link to explorer in painting page
|
2022-08-03 01:47:41 +02:00 |
