Skip to content

Conversation

@Rahban1
Copy link
Contributor

@Rahban1 Rahban1 commented Aug 19, 2025

as discussed in the biweekly meeting @mortenpi @Hetarth02

this is how it looks like locally for me :

Screen.Recording.2025-08-19.at.4.44.14.PM.mov

@Hetarth02
Copy link
Contributor

Hetarth02 commented Aug 19, 2025

The UI looks pretty good, should we add a border while keyboard navigation?

CC @mortenpi

Copy link
Contributor

Choose a reason for hiding this comment

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

Can't we just use, element.focus()?

Would eliminate all this extra logic from both js and scss...?

https://developer.mozilla.org/en-US/docs/Web/API/HTMLElement/focus

Copy link
Contributor Author

Choose a reason for hiding this comment

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

If I am using focus, I am getting this blue white border like :
image
which I am not being able to remove I have done border: none, outline:none still it is there

Copy link
Contributor Author

@Rahban1 Rahban1 Aug 19, 2025

Choose a reason for hiding this comment

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

most probably because these are < a > tags so there will always be an unavoidable outline

Copy link
Contributor

@Hetarth02 Hetarth02 Aug 19, 2025

Choose a reason for hiding this comment

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

You can remove the border using the <element_classname>:focus {border:none;}.

Also, I like the idea of the border it's not subtle(maybe we can make it) since it kinda highlights the current selection more than just the hover styles.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

oh it works now, I forgot to run make themes so the changes were not reflecting, now the outline's gone

Copy link
Contributor Author

Choose a reason for hiding this comment

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

there's a subtle border idea or one more thing I was thinking of was we can also create a shadow effect for the selected result. What do you think? I am fine with both or neither whatever you recommend

Copy link
Contributor

Choose a reason for hiding this comment

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

Ia it possible to get a small demo recording for both options, subtle border and shadow?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

This is with the border

Screen.Recording.2025-08-20.at.12.47.11.PM.mov

This is with the shadow

Screen.Recording.2025-08-20.at.12.50.42.PM.mov

Copy link
Member

Choose a reason for hiding this comment

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

I kinda like the border FWIW, but @Hetarth02 feel free to make the call here.

Copy link
Contributor

Choose a reason for hiding this comment

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

We went ahead with the border one.

@mortenpi
Copy link
Member

This looks really nice! @Hetarth02, if you're happy with the UI, we can merge whenever as far as I am concerned.

.search-result-link:hover, .search-result-link:focus {
background-color: $search-result-link-hover;
outline : none;
border: 2px solid #1DD2AF;
Copy link
Contributor

Choose a reason for hiding this comment

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

Can we use a variable instead of hard-coded values for colors?

Also, would be good to add relevant color values for different themes.(but not super important)

Copy link
Contributor Author

Choose a reason for hiding this comment

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

replaced the hard-coded value with a variable in _variables.scss

Copy link
Contributor Author

Choose a reason for hiding this comment

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

also checked every theme, the colors are looking good

Copy link
Contributor

Choose a reason for hiding this comment

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

We went ahead with the border one.

@Rahban1
Copy link
Contributor Author

Rahban1 commented Aug 26, 2025

Thank you for the commit @mortenpi 😁

@mortenpi
Copy link
Member

mortenpi commented Aug 29, 2025

The nightly failures look unrelated. But the search benchmark one is also still failing.

@Rahban1
Copy link
Contributor Author

Rahban1 commented Aug 29, 2025

PrettyTables.jl released a new version 4 days ago, that caused the ci issue :)

@Rahban1
Copy link
Contributor Author

Rahban1 commented Aug 29, 2025

@mortenpi
Copy link
Member

Thanks a lot for this @Rahban1 and @Hetarth02. Sorry for the delay in merging.

@mortenpi mortenpi merged commit d01718d into JuliaDocs:master Oct 22, 2025
27 checks passed
Rahban1 added a commit to Rahban1/Documenter.jl that referenced this pull request Oct 27, 2025
@Rahban1
Copy link
Contributor Author

Rahban1 commented Oct 27, 2025

Thank you @mortenpi 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants