Andreas Huber 5341b5e307 change color palette so that the first color is blue ...

The color scheme for the page is blue/grey, so it makes
sense to use blue as the main color for plots.

2019-11-17 19:36:48 +01:00

..

src/main

change color palette so that the first color is blue

2019-11-17 19:36:48 +01:00

.gitignore

simple auto-completion for the search box

2016-12-23 10:32:51 +01:00

build.gradle

replace deprecated dependency configurations

2019-11-10 11:08:50 +01:00