Change theme, move edit/delete buttons into Dropdown
Implements #153 (closed)
Theme: https://github.com/atom/atom/tree/master/packages/one-light-syntax
The diff of the MR highlighted after the change:
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
Implements #153 (closed)
Theme: https://github.com/atom/atom/tree/master/packages/one-light-syntax
The diff of the MR highlighted after the change: