issues
search
herbie-fp
/
odyssey
A platform for exploring floating-point expressions :boat:
https://herbie-fp.github.io/odyssey/
MIT License
16
stars
0
forks
source link
Pre-UI Meeting 2 items
#120
Closed
elmisback
closed
1 week ago
elmisback
commented
1 week ago
[x] Webpage title
[x] Webpage favicon
[x] Make sure IBM Plex Serif font is being loaded on web -- target Chrome
[x] Fix font sizes -- use IBM Plex Mono
[x] "Show an example" link color
[x] Darker green for the connected dot
[x] Dot bigger, try r=7
[x] Give links href field with "#"
[x] Make general link color similar to Herbie demo color -- desaturated to draw eye less
[x] Remove underline to match Herbie web demo
[x] Shrink gap to math syntax description
[x] Shrink gap between title icon and "Write a formula..."
[x] Widen page to put initial description on one line
[x] Check display of formula input box on Arc
Connected dot: start from
Font sizes
[x] Odyssey + Connected -- just use the same size
[x] Switch operations to IBM Plex Mono, should then line up with the descriptions visually
Finally
[x] Double-check display on Chrome and Arc after changes
elmisback
commented
1 week ago
[x] Double-check display on Chrome and Arc after changes
Connected dot: start from
Font sizes
Finally