-
Kevin Duret authored
Improve CSS file by removing dynamique CSS in order to manage different colors on tab menu. Now menu colors are managed by hardcoded value, so it's useless. I also add the ability to select a theme in the personal parameters in order to simplify the dark theme development. thanks @julienmathis
9ae0fe31