Paulo Reis fc424aee9e Adapt styles to avoid layout breaking/showing options that do not make sense when no history entries are loaded.

2018-08-17 15:31:59 +01:00

..

web

Adapt styles to avoid layout breaking/showing options that do not make sense when no history entries are loaded.

2018-08-17 15:31:59 +01:00