evinism / lambda-explorer

Tutorial / REPL for the lambda calculus
https://lambdaexplorer.com/
MIT License
63 stars 9 forks source link

Restyle and relayout the back/forward arrows #64

Open evinism opened 5 years ago

evinism commented 5 years ago

Right now back/forward arrows are a little non-obvious. I want to make them bigger and more obvious. Having them take up the entire width of the aside makes sense to me. In rudimentary diagram:

------------|
header      |
------------|
| problem   |
| text      |
|           |
|           |
|           |
|-----------|
|  <  |  >  |
------------|
footer      |
------------|