Mithril.js: Website v1: technical tweaks

[barneycarroll]

A few things I want to push PRs for:

• [ ] Larger line height in navigation - text is condensed and difficult to scan
• [ ] Clickable logo (go to home)
• [ ] Better mobile nav UX - currently jumps when scrolling past available content and looses scroll position in main body

[futurist]

And maybe have a global m in console? When user want to try some code just open console and play, that's a point for new comers.

[orbitbot]

Favicon...

[inta]

As long as the logo is that simple, you can use it as favicon as well:
<link rel="icon" type="image/svg" sizes="any" href="logo.svg" />

[leeoniya]

As long as the logo is that simple, you can use it as favicon as well

you cannot: https://css-tricks.com/favicon-quiz/#comment-1584506

[futurist]

The problem maybe the new logo is borning... #1599, until that is ready, cannot set favicon...

[isiahmeadows]

@futurist Even short term, we can just version the favicon, so we can bust the cache when we're ready to replace it with something better.

[isiahmeadows]

Closing, since this issue has not been updated in over a month, and typically, issues inactive for that long do not usually produce any action. If you feel something in Mithril needs added or changed, please file a new issue.