Refine styles to better match current dartlang.org #1916
Conversation
| box-sizing: border-box; | ||
| } | ||
|
|
||
| *, *:before, *:after { |
There was a problem hiding this comment.
This seems somewhat drastic to change every element to box sizing. From very brief googling (https://css-tricks.com/inheriting-box-sizing-probably-slightly-better-best-practice/) this does seem like a thing that people do.
There was a problem hiding this comment.
Yes. Doing this seemed to make correcting some alignment problems for mobile a lot easier.
lib/resources/styles.css
Outdated
| margin-right: 20px; | ||
| } | ||
| /* end for layout */ | ||
|
|
||
| body { | ||
| -webkit-text-size-adjust: 100%; | ||
| overflow-x: hidden; | ||
| font-family: "Source Sans Pro", sans-serif; | ||
| font-family: roboto, sans-serif; |
There was a problem hiding this comment.
For similarity with below, Roboto (note the case)?
There was a problem hiding this comment.
I assume we're already importing Roboto from somewhere?
I see the import of Source Code Pro and the material icons font, but not of Roboto.
There was a problem hiding this comment.
Roboto is a builtin as discussed offline
There was a problem hiding this comment.
Fixed capitalization.
Fixes #1372, #1911.
Resynchronize dartdoc styles with current dartlang.org and fix a number of problems. Including:
:hoverto highlight linksScreenshots (slightly larger than window to be able to compare header size)