Skip to content
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

docs: website margin improvements #821

Merged
merged 5 commits into from
Jul 7, 2023
Merged

docs: website margin improvements #821

merged 5 commits into from
Jul 7, 2023

Conversation

malezjaa
Copy link
Contributor

@malezjaa malezjaa commented Jul 7, 2023

Hi I found some bugs on the site so I fixed that.

Changes

  • Fixed the floating div that didn't have enough space when scrolling.
  • Added side spacing on mobile view.
  • Added animaitons for logo and text in navbar.

@ssalbdivad
Copy link
Member

@malezjaa Hey thanks so much for submitting these changes- I know we didn't do much mobile testing for layout, and it's good to know about some of these issues.

When I tested the changes out on my 1920x1080 monitor, things looked a little off. I'd prefer to maintain the original alignments/sizes of some of these items that appear to have changed.

Would you be able to test out your changes on a 1080p screen and make sure the overall appearance of the website doesn't change in these areas compared to the live https://arktype.io site?

###Original (changes circled):
image

###Updated:
image

I also noticed the background of some of the code demos changed and looks a little off to me now. Not sure if again it just has something to do with the screen:

###Original:
image

###Updated:
image

In general, if there are a few margins you can adjust that still look good on a desktop and fix the display on mobile, that's great and it would be awesome if you could submit those!

There are a lot of other tweaks here though, the purpose of which isn't totally clear, so if you want to make other changes maybe you can individually explain them ideally with images of where it looks problematic, that'd be really helpful so I can better understand!

@ssalbdivad ssalbdivad changed the title Fixes for website docs: website margin improvements Jul 7, 2023
@malezjaa
Copy link
Contributor Author

malezjaa commented Jul 7, 2023

Sorry about that 😄 I think I have fixed it.

@ssalbdivad
Copy link
Member

Awesome, this looks much better!

The only thing left is just some of the proportions around the installation block, which I notice is quite a bit larger, filling up the entire space of the header.

Is there any way to solve the issue you're having on mobile while still preserving the margins that were originally defined or something close to them?

Original:
image

Updated:
image

I definitely prefer the condensed look for this widget.

@malezjaa
Copy link
Contributor Author

malezjaa commented Jul 7, 2023

image
Something like that?

@ssalbdivad ssalbdivad merged commit 5a1cd70 into arktypeio:main Jul 7, 2023
1 check passed
@malezjaa
Copy link
Contributor Author

malezjaa commented Jul 7, 2023

Thank you for your time. 🙏

ahrjarrett pushed a commit to ahrjarrett/arktype-fork that referenced this pull request May 6, 2024
@malezjaa I can live with that! Merged⛵

Thank you for your help and congrats on your first ArkType PR!🎊
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done (merged or closed)
Development

Successfully merging this pull request may close these issues.

2 participants