make highlight color darker in light theme (#6284)
make highlight color darker in light theme (#6284)


scalableminds/webknossos,scalableminds/webknossos,scalableminds/webknossos,scalableminds/webknossos,scalableminds/webknossos,scalableminds/webknossos