Pierre de La Morinerie 1f69c6c6eb stylesheets: fix font of dropdown items on Firefox ... Styling `<select>` elements is notoriously hard. Here, it seems that Firefox doesn't handle custom fonts on `<option>` elements. As we have no fallback font, the browser uses its default font, Times. Having fallback fonts is good practice anyway.		2019-06-04 11:37:40 +02:00
..
fonts	Add the Muti Italic font	2018-02-28 18:09:20 +01:00
images	Fix signout arrow direction	2019-04-18 11:03:58 +02:00
javascripts	Remove deprecated editor	2019-05-14 16:18:29 +02:00
stylesheets	stylesheets: fix font of dropdown items on Firefox	2019-06-04 11:37:40 +02:00