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

set font #757

Open
gh1232 opened this issue Sep 15, 2022 · 1 comment
Open

set font #757

gh1232 opened this issue Sep 15, 2022 · 1 comment

Comments

@gh1232
Copy link

gh1232 commented Sep 15, 2022

is it possible to do these:

map 1 set font.minimum-size.x-western = 24

map 8 set font.name-list.serif.x=western = "lucinda"

i would like to change font and font size on various sites i visit

thanks

@b-coimbra
Copy link

There's no feature that allows you to change a website's font afaik.

You'd be better off creating a userscript for that.

const keymaps = {
    1: () => setFontSize(24),
    8: () => setFontFamily('lucinda')
};

const setFontSize   = (pt)   => document.body.style.fontSize = `${pt}pt`;
const setFontFamily = (font) => document.body.style.fontFamily = font;

onload = () => onkeyup = ({ key }) => keymaps[key]?.();

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

No branches or pull requests

2 participants