Skip to content

Override fonts using Fomantic config #13465

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 2 commits into from
Nov 8, 2020

Conversation

silverwind
Copy link
Member

@silverwind silverwind commented Nov 8, 2020

Saves us from doing it manually and saves a few CSS bytes.

@silverwind silverwind force-pushed the fontoverride branch 4 times, most recently from 4468df4 to 788abc4 Compare November 8, 2020 10:10
Saves is from doing it manually and saves a few CSS bytes.
@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Nov 8, 2020
@lafriks lafriks added the type/refactoring Existing code has been cleaned up. There should be no new functionality. label Nov 8, 2020
@lafriks lafriks added this to the 1.14.0 milestone Nov 8, 2020
@lafriks lafriks added the skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. label Nov 8, 2020
Copy link
Contributor

@zeripath zeripath left a comment

Choose a reason for hiding this comment

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

yes!

@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Nov 8, 2020
@lafriks
Copy link
Member

lafriks commented Nov 8, 2020

🚀

@techknowlogick techknowlogick merged commit 049a87c into go-gitea:master Nov 8, 2020
@silverwind silverwind deleted the fontoverride branch November 8, 2020 18:07
@go-gitea go-gitea locked and limited conversation to collaborators Dec 14, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. type/refactoring Existing code has been cleaned up. There should be no new functionality.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants