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

Consider changing codefont styles #3686

Closed
legalcodes opened this issue Feb 11, 2020 · 1 comment
Closed

Consider changing codefont styles #3686

legalcodes opened this issue Feb 11, 2020 · 1 comment
Labels
co.proposal Community ask to change an approach or process for docs.flutter.dev e1-hours Effort: < 8 hrs infra.design Relates to the design of docs.flutter.dev p2-medium Necessary but not urgent concern. Resolve when possible.

Comments

@legalcodes
Copy link
Contributor

We may be using codefont less than we can due its jarring styles:

Screen Shot 2020-02-11 at 1 49 06 PM
Screen Shot 2020-02-11 at 1 49 15 PM

Updating codefont style may enable us to use codefont more often than we do currently, which would help alleviate some auto translation issues. See dart-lang/site-www#2269

@legalcodes legalcodes added e2-days Effort: < 5 days e1-hours Effort: < 8 hrs p2-medium Necessary but not urgent concern. Resolve when possible. and removed e2-days Effort: < 5 days labels Feb 11, 2020
@atsansone atsansone added infra.design Relates to the design of docs.flutter.dev co.proposal Community ask to change an approach or process for docs.flutter.dev labels May 31, 2023
@atsansone
Copy link
Contributor

Fixed in #9432.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
co.proposal Community ask to change an approach or process for docs.flutter.dev e1-hours Effort: < 8 hrs infra.design Relates to the design of docs.flutter.dev p2-medium Necessary but not urgent concern. Resolve when possible.
Projects
None yet
Development

No branches or pull requests

2 participants