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

(chore) fix CSS in the dev tool to be cross-browser once again #3292

Merged
merged 3 commits into from
Aug 1, 2021

Conversation

allejo
Copy link
Member

@allejo allejo commented Jul 28, 2021

Related to #3133
Fixes #3290

Screen Shot 2021-08-01 at 1 36 21 PM

image

Changes

Replace CSS that only worked on Gecko browsers with more generic CSS

Checklist

  • Added markup tests, or they don't apply here because...
  • Updated the changelog at CHANGES.md

@allejo allejo requested a review from joshgoebel July 28, 2021 02:00
@joshgoebel
Copy link
Member

Snap? :) Does it look equally snazzy or did we revert to the older style?

@allejo
Copy link
Member Author

allejo commented Aug 1, 2021

Just added a screenshot, I think it looks just as snazzy 😄 It preserves the same behavior as far as I can tell.

@joshgoebel
Copy link
Member

joshgoebel commented Aug 1, 2021

Screen Shot 2021-08-01 at 4 42 03 PM

Could we get maybe 1-3px of padding between the double dashed lines so it's easier to see the bounding rects? (ie bottom padding on the spans I think) I'll merge either way but I think that would be small improvement.

@joshgoebel joshgoebel changed the title Fix CSS in the dev tool (chore) fix CSS in the dev tool to be cross-browser once again Aug 1, 2021
@allejo
Copy link
Member Author

allejo commented Aug 1, 2021

image

I added a padding of 5px. 3px seemed like too little for me.

@joshgoebel joshgoebel merged commit 5790bf4 into highlightjs:main Aug 1, 2021
@joshgoebel
Copy link
Member

Thanks.

@allejo allejo deleted the chore/dev-tool-css branch August 2, 2021 02:05
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.

Dev Tools broken has CSS for structure
2 participants