HomeSoftware Heritage

2022-06-24: use default font size for code

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

2022-06-24: use default font size for code

it was too small to read

Details

Provenance
vlorentzAuthored on Sep 13 2022, 11:03 AM
vlorentzPushed on Sep 13 2022, 11:03 AM
Parents
rMSLD4df980019f90: 2022-09-11: Fix code snippet export rendering
Branches
Unknown
Tags
Unknown