diff options
| author | Christian Cunningham <cc@localhost> | 2024-06-01 18:24:34 -0700 |
|---|---|---|
| committer | Christian Cunningham <cc@localhost> | 2024-06-01 18:24:34 -0700 |
| commit | c144e18c515eb3fccc4bb45e21977b51c507749a (patch) | |
| tree | 0dbb86dac45755ac7e37c717976dd5975d97a92d /extras | |
| parent | 309c2594f1c7e3e07f80fadc4ff09b4b38fe77f1 (diff) | |
Style Changes
1. Make the title large
2. Make the document info tags hidden
3. Distinguish the minibuffer by a darker background
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions