-
Notifications
You must be signed in to change notification settings - Fork 313
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
Updating UI Fixes #212
Updating UI Fixes #212
Conversation
manual/manual.css
Outdated
@@ -8,8 +8,41 @@ | |||
@import url(https://fonts.googleapis.com/css?family=Fira+Mono:400,500); |
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.
Let's revert this file, this is the manual generated from the compiler, we shouldn't change it
@@ -147,6 +147,7 @@ about the strong academic roots of the language." @@ | |||
<h2 class="mb-6 font-bold">Our influence</h2> | |||
<div>See where we are located around the world at an academic level</div> | |||
<div class="mt-24 relative"> | |||
<<<<<<< Updated upstream |
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.
Some unsolved merge conflicts
@@ -15,7 +15,7 @@ Package_layout.render | |||
~description:(Printf.sprintf "%s %s: %s" package.name package.version package.description) | |||
~tab:Documentation | |||
~package @@ | |||
<button class="bg-primary-600 p-3 z-30 rounded-r-xl text-white shadow-md top-2/4 fixed md:hidden" | |||
<button class="bg-primary-600 p-3 z-30 rounded-r-xl text-white shadow-md top-2/4 fixed lg:hidden left-0" |
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.
We should apply the same to problems and learn layout. Maybe worth extracting this to a component.
* update "Industrial Users" header to exactly match the Tailwind Playground implementation * also: fix hidden menu issue
No description provided.