Commit Graph
16 Commits
Author SHA1 Message Date
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