Commit Graph
21 Commits
Author SHA1 Message Date
David Lechner 4b63a80f80 style scroll bars
This makes scroll bars in Chrome look more like Firefox and blend in
better with the app.
2021-01-17 10:20:19 -06:00
David Lechner 1e3c0b05ef use proper variables for bp3 namespace 2021-01-15 14:02:13 -06:00
David Lechner a23c0aaede increase blueprintsjs font size overall
removes need for special handling in settings
2021-01-15 13:48:11 -06:00
David Lechner 2f57ae2f57 split scss into separate files 2021-01-14 16:35:23 -06:00
David Lechner d7dbaaa12d add dark mode setting 2021-01-11 23:36:48 -06:00
Andreas Litt de237b13f9 remove stickiness of toolbar to avoid breaking the layout
clicking on a link with a URI fragment (e.g. https://docs.pybricks.com/en/latest/parameters.html#pybricks.parameters.Port)
inside the documentation iframe breaks the layout.
The browser seems to force the parent frame to scroll to the position as well.
As the toolbar is fixed, the rest of the content is scrolled under it.
Rerendering after the link click fixes the layout (at least if done manually).
But a more elegant solutions is to remove the absolute positioning of the toolbar.
It is not really necessary to pin it, as the rest of the layout always
spans over the complete width and height of the browser window.
2020-12-13 21:58:08 +01:00
David Lechner 71ad9c1b1b Update to create-react-app 4
- had to update eslint deps
- ran into https://github.com/palantir/blueprint/issues/4112
- had to move beta.svg out of static/
- had to fix prettier formatting changes
- ran into https://github.com/facebook/jest/issues/7780
2020-11-20 21:08:53 -06:00
Laurens Valk e9783ff821 tweak beta watermark 2020-06-16 09:39:09 +02:00
David Lechner 2fdcea091e add beta watermark 2020-06-16 09:39:09 +02:00
David Lechner 0940226a4d use utility classes
similar to how bootstrap works
2020-06-07 21:39:58 -05:00
David Lechner f4692d4134 style tweaks
making it looks a bit more like before the UI toolkit change
2020-06-07 19:24:25 -05:00
David Lechner d9211b5b10 switch to blueprintjs UI toolkit 2020-06-07 18:59:02 -05:00
Laurens Valk aa334c2d82 app: drop nested container
This achives the responsive editor height without a nested container.
2020-06-01 13:07:14 +02:00
Laurens Valk 2ee64e3711 app: update button icons 2020-05-29 10:24:05 -05:00
Laurens Valk d04958bb01 app: configure environment color
Blue will be reserved for the buttons, not the borders
2020-05-29 10:24:05 -05:00
Laurens Valk c302b8aa91 app: remove duplicate padding due nested row/col 2020-05-29 10:24:05 -05:00
Laurens Valk 67de6c3af9 app: fill vertically & horizontally
Do not use a fixed height for the editor, but responsively scale to the remaining available height.

Also fill horizontally for a responsive layout. This gives us room to add left or right columns with docs or settings.
2020-05-29 10:24:05 -05:00
David Lechner dd9d789e9a license 2020-05-22 19:54:48 -05:00
David Lechner a44e97f4a3 terminal resizing 2020-05-04 22:08:44 -05:00
David Lechner b1e99e0582 implement notifications 2020-04-20 13:57:58 -05:00
David Lechner 1a72fc275b basic toolbar using bootstrap 2020-04-15 16:43:37 -05:00