Improve some Context browser CSS styles - Githubissues

acsresearch / interlab

MIT License

17 stars 2 forks source link

Improve some Context browser CSS styles #16

Closed gavento closed 1 year ago

gavento commented 1 year ago

A PR Look at the browser UI and improve:

Events to be shown as inline (up to certain height?) rather than blocks
General: spacing of text and box layout (though details/design TBD)
Ordering of files (last on top, or otherwise improve scrolling)
(maybe) text font (more code-like without going full for monospaced? Roboto vs Noto? Perhaps Inconsolata)

Done:

Added a logo and an icon
- [ ] Add it to Readme
- Considering using some standing variant (though likely a minor variant of these)