archive/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2025-08-15 13:38:49 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Turn off font ligatures in code in documentation

Browse source
This commit is contained in:
Derick Rethans 2025-04-25 10:20:58 +01:00
parent 681ef77734
commit 0029d2b08b
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/source/_static/css/code-no-font-ligatures.css Normal file
View file

@ -0,0 +1,3 @@
code {
font-variant-ligatures: none;
}

1
docs/source/conf.py
View file

@ -21,6 +21,7 @@ extensions = [
templates_path = ['_templates'] templates_path = ['_templates']
html_theme = 'sphinxawesome_theme' html_theme = 'sphinxawesome_theme'
html_static_path = ['_static'] html_static_path = ['_static']
html_css_files = ['css/code-no-font-ligatures.css']
html_title = project html_title = project
html_permalinks_icon = Icons.permalinks_icon html_permalinks_icon = Icons.permalinks_icon
theme_options = ThemeOptions( theme_options = ThemeOptions(