panr 5a8b5208a6 fix figure width for smaller images ...

fixes #514

issue reported by @vlvk

2024-12-21 23:35:43 +01:00

..

css

fix figure width for smaller images

2024-12-21 23:35:43 +01:00

js

Simplify menus

2022-11-08 00:34:01 +01:00