Skip to content

Document how to adjust the font size - #14

Open
Nerixyz wants to merge 1 commit into
jneug:mainfrom
Nerixyz:doc/font
Open

Document how to adjust the font size#14
Nerixyz wants to merge 1 commit into
jneug:mainfrom
Nerixyz:doc/font

Conversation

@Nerixyz

@Nerixyz Nerixyz commented Mar 22, 2024

Copy link
Copy Markdown
Contributor

Basically the same change as in #8.

I was trying to adjust the font, which you can, for #raw, do by using #show raw: it => ..., but here you'll need to use raw.line.
To save the next person some work, I've added an example to the manual.

I've marked this as a draft, as it depends on #13 (I'll rebase once it's merged).

@jneug
jneug marked this pull request as ready for review March 28, 2024 13:20
@Galfy1

Galfy1 commented Sep 28, 2024

Copy link
Copy Markdown

maybe also add something like:
#show figure.where(kind: raw): set par(justify: false)
(justification will mess up indentation if a code line is too long and wraps)

@Galfy1

Galfy1 commented Sep 28, 2024

Copy link
Copy Markdown

and something like "#show figure.caption: set text(size: default_font_size)". to make sure the caption size does not get smaller, just because we set a smaller font size for figure.where(kind: raw)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants