search

jamesjuett / lobster

Interactive Program Visualization Tools
8 stars 3 forks source link

Fixes for 183 #272

Closed jamesjuett closed 3 years ago

jamesjuett commented 3 years ago

This PR implements a few fixes requested for 183.

It also adds a much improved layout for a few page elements in a left sidebar.