fixes #1: Simple UI improvements

jethrogb / rust-combinators

Selection tool for Rust combinators

https://jethrogb.github.io/rust-combinators/

Other

19 stars 3 forks source link

fixes #1: Simple UI improvements #3

Closed sssilver closed 5 years ago

sssilver commented 5 years ago

I feel like this is a little bit of an improvement over the existing UI.

I have deliberately not pulled any libraries or used any "fancy" Javascript controls, leaving everything as-is, because the light weight and extreme portability of the current UI are very appealing.

All comments are welcome, excited!

Note that I made most text bigger -- it may be my age, but the existing text was not easily legible for my eyes, so I had to increase the font size in the browser every time.

Screenshots:

jethrogb commented 5 years ago

Note that I made most text bigger -- it may be my age, but the existing text was not easily legible for my eyes, so I had to increase the font size in the browser every time.

The old stylesheet didn't have any size specification - I might recommend adjusting the defaults in your browser.

jethrogb commented 5 years ago

This is what it looks like for me in Firefox on Linux with HiDPI screen:

jethrogb commented 5 years ago

Thanks!