Thibaut Girka b9fdeceb3c Make active bookmarks red (fixes #493)		2018-05-31 14:39:48 +02:00
..
action_bar.js	…
card.js	…
detailed_status.js	…