David Lechner
187a973fa3
app: fix terminal padding background color
2022-03-14 13:26:51 -05:00
David Lechner
6d0e97f50e
app: fix pb-app div size and background color
2021-12-27 12:38:51 -06:00
David Lechner
4da6f7e368
use overflow: hidden on splitter panes
...
This fixes problems with double scroll bars showing up.
Fixes: https://github.com/pybricks/pybricks-code/issues/406
Fixes: https://github.com/pybricks/pybricks-code/issues/407
2021-05-11 14:38:04 -05:00
David Lechner
cdd74706c5
toolbar is not a navbar
...
This adds custom styling for the toolbar (inspired by blueprintsjs
navbar). But this lets us use the correct role and not fight the
navbar styling so much.
2021-02-01 13:02:07 -06:00
David Lechner
37b5ebd8f7
app pb-app- prefix to terminal-padding class
2021-02-01 10:26:05 -06:00
David Lechner
334668bdfb
rework mobile view height
2021-02-01 10:26:05 -06:00
David Lechner
6f204a65f6
reorganize src/ directory
...
Makes for much less scrolling/jumping around.
https://redux.js.org/style-guide/style-guide#structure-files-as-feature-folders-or-ducks
2021-02-01 10:26:05 -06:00
David Lechner