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

Typst logo.padding could be a shorthand #10982

Open
gordonwoodhull opened this issue Oct 5, 2024 · 0 comments
Open

Typst logo.padding could be a shorthand #10982

gordonwoodhull opened this issue Oct 5, 2024 · 0 comments
Assignees
@gordonwoodhull
Labels
enhancement New feature or request themes Related to HTML theming or any other style related issue (like highlight-style) typst
Milestone
Future

Comments

@gordonwoodhull
Copy link
Contributor

gordonwoodhull commented Oct 5, 2024 •
edited
Loading

For now (#10974) it is a scalar CSS length which gets applied on all sides of the logo. (As Typst inset.)

But it could be upgraded in a backward-compatible way to a shorthand for padding-top, padding-right, etc. like CSS padding.

The code already exists e.g. for border-width, which is the same kind of shorthand. It just needs to be abstracted somewhat.
@gordonwoodhull gordonwoodhull added this to the Future milestone Oct 5, 2024
@gordonwoodhull gordonwoodhull self-assigned this Oct 5, 2024
@mcanouil mcanouil added enhancement New feature or request typst themes Related to HTML theming or any other style related issue (like highlight-style) labels Oct 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gordonwoodhull gordonwoodhull

Labels
enhancement New feature or request themes Related to HTML theming or any other style related issue (like highlight-style) typst
Projects
None yet
Milestone
Future
Development

No branches or pull requests
2 participants
@gordonwoodhull @mcanouil