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

Fixed interference of css style from docs page to repl #191

Merged
merged 1 commit into from
Nov 17, 2017

Conversation

zehua
Copy link
Contributor

@zehua zehua commented Sep 25, 2017

As discussed in #190 (comment), the PUG based template has some minor styling issue on the repl. This is due to the over-general css class .repl introduced in https://github.com/ramda/ramda.github.io/pull/185/files#diff-e73ad0a6a3cca0e9ce1279bf47761a0eR45. That PR itself is fine because repl/index.html did not include style.css. But when the PR https://github.com/ramda/ramda.github.io/pull/175/files#diff-8ca7384ffd04b23fb9f8dde4473e055fR14 refactored the repl index.pug template to inherit the same layout.pug which includes style.css, the interference of the css style takes effect.

Alt text

This PR made the css class name and selector for docs more selective to avoid messing up with the .repl class in the repl.

I re-generated style.css, but not sure if I should update the one in 0.24.1 folder or anywhere else.

@MattMS @tolmasky @buzzdecafe

Made the css class name and selector for docs more selective to avoid
messing up with the .repl class in the repl
@zehua
Copy link
Contributor Author

zehua commented Oct 2, 2017

ping reviewers

@zehua
Copy link
Contributor Author

zehua commented Oct 9, 2017

ping reviewers @MattMS @tolmasky

@tolmasky
Copy link
Contributor

tolmasky commented Oct 9, 2017

I'm happy to look this over, but I'm not sure if I have reviewing powers

@tolmasky
Copy link
Contributor

tolmasky commented Oct 9, 2017

This certainly LGTM

@buzzdecafe
Copy link
Member

sorry i have been totally buried lately. will try to look over the weekend, please ping me again if you have heard nothing by sunday

@zehua
Copy link
Contributor Author

zehua commented Nov 17, 2017

@buzzdecafe ping ping

@buzzdecafe
Copy link
Member

thanks for your patience

🐄

@buzzdecafe buzzdecafe merged commit 230ea11 into ramda:master Nov 17, 2017
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.

None yet

3 participants