|
|
0b8096f973
|
Tweak the menu selector style
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-22 16:04:04 -08:00 |
|
|
|
d58a2a9975
|
Add overflow scroll to proof tree view.
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-21 21:27:39 -08:00 |
|
|
|
a83268a6e3
|
Update use of the bergamot widget
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-21 17:26:19 -08:00 |
|
|
|
24abec4045
|
Add some more CSS for the updates to the bergamot widget
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-03 00:01:49 -08:00 |
|
|
|
56ff56281e
|
Add missing SCSS file for bergamot.
|
2023-11-29 23:26:09 -08:00 |
|
|
|
f2bf2fb025
|
Fix up donation styles on smaller screens
|
2021-09-19 12:18:00 -07:00 |
|
|
|
d5f478b3c6
|
Add donations
|
2021-08-23 18:41:46 -07:00 |
|
|
|
e317c56c99
|
Add some shortcodes for making the game theory post nicer.
|
2020-11-08 21:22:51 -08:00 |
|
|
|
1abc13b20f
|
Allow stack cells to be bigger
continuous-integration/drone/push Build is passing
|
2020-03-08 00:38:19 -08:00 |
|
|
|
8a48a110ff
|
Avoid duplicating generated CSS by splitting SASS into separate files
|
2020-03-08 00:35:11 -08:00 |
|
|
|
a7a6d7ff13
|
Stop using images and use HTML/CSS to render stacks
|
2020-03-08 00:20:30 -08:00 |
|
|
|
e3035b9d66
|
Make G-machine CSS use rem
|
2019-12-30 14:50:00 -08:00 |
|
|
|
b0529a9124
|
Add initial implementation of sidenotes
|
2019-12-06 00:10:26 -08:00 |
|
|
|
a1244f201a
|
Add G-machine graph creation instructions to Part 5
|
2019-09-02 17:51:36 -07:00 |
|
