Skip to content

Css updates#273

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

Merged
merged 3 commits into from
Mar 26, 2025
Merged

Css updates #273

merged 3 commits into from
Mar 26, 2025

Conversation

stumbo
Copy link
Member

Updates to make the navigation bar more responsive to the browser window size.

Change 1: Drop the title, The Medley Interlisp Project, when the size of the screen shrinks to a point where there is no space between the icons and the title.

Change 2: On the home page, when the icons and search bar have taken up all the horizontal space, drop the search bar to a second line.

Change 3: On all other pages, drop the search bar, we have the left search bar available.

History page at width of 750 pixels:
image

Home page at 750 pixels:
image

History page at 1030 pixels:
image

Home page at 1030 pixels:
image

History page at 1230:
image

Home page at 1230 pixels:
image

Updates to make the navigation bar more responsive to the browser window size. Change 1: Drop the title, The Medley Interlisp Project, when the size of the screen shrinks to a point where there is no space between the icons and the title. Change 2: On the home page, when the icons and search bar have taken up all the horizontal space, drop the search bar to a second line. Change 3: On all other pages, drop the search bar, we have the left search bar available.
@stumbostumbo requested review from masinter and pamorosoMarch 26, 2025 04:54
@stumbostumbo self-assigned this Mar 26, 2025
@pamoroso
Copy link
Contributor

Are these changes live on the draft server?

@stumbo
Copy link
MemberAuthor

They are now: Staging site

Copy link
Contributor

@pamorosopamoroso left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tested the changes with Firefox on Linux Mint 22 Cinnamon and Android 15 and everything works as described.

@masintermasinter merged commit f08d41e into mainMar 26, 2025
@masintermasinter deleted the cssUpdates branch March 26, 2025 16:48
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
3 participants
@stumbo@pamoroso@masinter
close