Commit Graph

55 Commits

Author SHA1 Message Date
Jeremy Tuloup
3185922bb3 Toggle header visibility 2020-12-07 17:31:33 +01:00
Jeremy Tuloup
cae48ed1af Add kernel status indicator 2020-12-07 17:31:33 +01:00
Jeremy Tuloup
8dd92619e3 Add some padding to the top area 2020-12-07 17:31:32 +01:00
Jeremy Tuloup
797a1ae9d6 Reuse doc manager from lab 2020-12-07 17:31:31 +01:00
Jeremy Tuloup
ddcf687a78 Initial commit 2020-12-04 15:15:41 +02:00