Skip to content

GitHub: ligatures ON by passcod

Details

Authorpasscod

LicenseCC-BY-4.0

Categorygithub

Created

Updated

Size549 B

Statistics

Learn how we calculate statistics in the FAQ.

Failed to fetch stats.

Description

Activates ligatures in many code listing places on GitHub.

Notes

Does kind of the inverse of my "disable ligatures" style: it instead forces ligatures to on in many places, and forces the font to Iosevka.

I generally have this one enabled and the other disabled, and switch if/as needed.

Source code

/* ==UserStyle==
@name         GitHub: ligatures ON
@version      20210905.01.02
@namespace    userstyles.world/user/passcod
@description  Activates ligatures in many code listing places on GitHub.
@author       passcod
@license      CC-BY-4.0
==/UserStyle== */

@-moz-document domain("github.com") {
.blob-code-inner,
.entry-content code,
.rgh-monospace-textareas textarea.form-control,
.highlight-source-js pre,
tt,
code,
pre,
.file-header .file-info > a {
    font-feature-settings: "liga" 1;
    font-family: "Iosevka", monospace !important;
}
}

Reviews

No reviews yet.