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.

Sign up for GitHub

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

Jump to bottom

Req: Update old Font Awesome in MkDocs' themes. #789

Closed
JayHoltslander opened this issue Jan 9, 2016 · 3 comments
Closed

Req: Update old Font Awesome in MkDocs' themes. #789

JayHoltslander opened this issue Jan 9, 2016 · 3 comments
Labels
Easy

Comments

@JayHoltslander
Copy link

Font awesome 4.0.3 is included with mkdocs-bootstrap & the mkdocs-bootswatch themes.

It'd be nice to see it updated to the minified version of 4.5.0
@d0ugal d0ugal added the Easy label Jan 11, 2016
@d0ugal
Copy link
Member

d0ugal commented Jan 11, 2016

Seems like a good idea.

RandallKent added a commit to RandallKent/mkdocs that referenced this issue Jan 11, 2016
@RandallKent
Bump Font Awesome to 4.5.0 (minified) as requested in mkdocs#789
c507b56
d0ugal added a commit that referenced this issue Jan 12, 2016
@d0ugal
Merge pull request #792 from RandallKent/master
732e508 
Bump Font Awesome to 4.5.0 (minified) as requested in #789
@jkrenge
Copy link

jkrenge commented Jan 17, 2016

As this is not yet available in version 0.14.0, but if you need it right now (as I did), e.g. on Mac: cd /Library/Python/2.7/site-packages/themes/. There you can place the new files in css and fonts. You probably also need to modify base.html. Although I would say this is generally not recommended. :-)

@d0ugal
Copy link
Member

d0ugal commented Jan 17, 2016

Although I would say this is generally not recommended.

hah, absolutely not. I'd rather people installed the development version of MkDocs. http://www.mkdocs.org/about/contributing/#testing-the-development-version

Closing this as it should be released soon-ish. See #796

@d0ugal d0ugal closed this as completed Jan 17, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Easy
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@d0ugal @jkrenge @JayHoltslander