search

nand2tetris / web-ide

A web-based IDE for https://nand2tetris.org
https://nand2tetris.github.io/web-ide
Other
66 stars 17 forks source link

Specify picocss version #226

Closed netalondon closed 7 months ago

netalondon commented 7 months ago

picocss just released version 2 which messes up our button sizes