diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-05-30 23:23:48 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-05-30 23:23:48 -0700 |
| commit | 994afb6ebab54973b9a7bf1e1a3fed789703c126 (patch) | |
| tree | c4d34f4276de49ee1c8aefb8d8f3490dfff37ee6 /html/011run.cc.html | |
| parent | c42907d44c41cda4b3a54788160fdfc6d3e3e719 (diff) | |
| download | mu-994afb6ebab54973b9a7bf1e1a3fed789703c126.tar.gz | |
6449 - italics
We're not going to render italics since they still feel like an advanced feature for terminals, and different terminals have different escape sequences for them, and since they often look weird to my eyes on the monospace font of a terminal window. So underscores and italics will both be bold.
Diffstat (limited to 'html/011run.cc.html')
0 files changed, 0 insertions, 0 deletions