-
Notifications
You must be signed in to change notification settings - Fork 291
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Introduce a tools section for platform page, releases page, and a news section for changelog, OCaml Planet and Newsletters #2410
Conversation
Additional remark: This could also be the place where a "Compiler" page could be introduced that explains the different targets and the tiers, and such. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks like a very clear improvement to me!
The only nitpick I have is to keep the Playground/Play terminology, as I suspect the OCaml Playground has become something that people talk about in those terms.
Regarding the |
This is at the Newsletters subnav. I think we could use a news overview page that provides a window into all the feeds the site has. |
@tmattio "Play" will fit, but "Playground" takes to much space unless we can make the "Get Started" button smaller. |
Why not “Start” and “Play” ? |
News also includes stuff like this:
Does it fit into “Newsletters”? |
I think it does. |
e0aa99d
to
3f0c515
Compare
I'm merging because I received no pushback in conversations I had about this, and because it will enable us to place a banner or other announcement for the Dune Developer Preview in a location that can be discovered from the main navbar. Further refinement / rearrangement is still possible. |
I propose to restructure the site such that there is a dedicated Tools section in the top level navigation.
This patch
data/
kindtool_page
has been added.