6 Commits

Author SHA1 Message Date
Kristóf Tóth
4bb2e9c2f2 Make frontend scale nicely regardless of window size 2018-02-14 09:51:15 +01:00
Kristóf Tóth
5ed4c0b428 Remove unused css classes 2018-02-09 13:31:37 +01:00
Kristóf Tóth
8c2467e48d Remove rounded edges from webide tabs – thanks pg. 2018-02-08 14:53:15 +01:00
Kristóf Tóth
239c985056 Make webide "tabs" nicer 2018-02-07 16:11:11 +01:00
Bálint Bokros
dec3c5dbca Move hardcoded style to CSS in WebIDE 2018-02-01 16:35:00 +01:00
Bálint Bokros
f82f9a55ae Create initial version of application 2017-12-18 17:52:10 +01:00