Skip to content

Remove CSS files that shouldn't be on rustdoc pages #946

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 1 commit into from
Aug 7, 2020

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Aug 7, 2020

These should only have been on the homepage. Not sure if this actually fixes the problem, my styles continue to be messed up locally. I'm not sure what else it could be though.

Addresses #945

r? @Kixiron

These should only have been on the homepage.
@jyn514 jyn514 added the A-frontend Area: Web frontend label Aug 7, 2020
@jyn514
Copy link
Member Author

jyn514 commented Aug 7, 2020

Ok I checked locally and this does now have font-family: "Source Serif Pro", Georgia, Times, "Times New Roman", serif. No idea how it looks though, this is what I have locally:

image

@jyn514 jyn514 changed the title [WIP] Remove CSS files that shouldn't be on rustdoc pages Remove CSS files that shouldn't be on rustdoc pages Aug 7, 2020
@jyn514 jyn514 added the S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed label Aug 7, 2020
@Kixiron
Copy link
Member

Kixiron commented Aug 7, 2020

Seems reasonable

@jyn514 jyn514 merged commit 232e7b6 into rust-lang:master Aug 7, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-frontend Area: Web frontend S-waiting-on-review Status: This pull request has been implemented and needs to be reviewed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants