Commit graph

20 commits

Author SHA1 Message Date
Protesilaos Stavrou 7b3753a00e
Revert compilation-info face to what it used to be 2022-11-27 07:27:46 +02:00
Protesilaos Stavrou ce17d2a79f
Remove needless bold from Magit diff hunk headings 2022-11-27 07:12:31 +02:00
Protesilaos Stavrou e8227a3058
Fix highlighted diff context to also use gray foreground 2022-11-27 07:11:53 +02:00
Protesilaos Stavrou c4ab80a694
Add diff foregrounds to Magit faces 2022-11-27 07:11:24 +02:00
Protesilaos Stavrou abf7228d50
Do not specify foreground of diff-refine faces 2022-11-27 07:10:54 +02:00
Protesilaos Stavrou 5ac4d00a09
Make compilation-info face stand out more 2022-11-22 06:17:09 +02:00
Protesilaos Stavrou 0359aa3afb
Make 'match' face use a coloured background 2022-11-22 06:11:07 +02:00
Protesilaos Stavrou c52f39169d
Implement mappings for inline code in prose 2022-11-21 04:48:40 +02:00
Protesilaos Stavrou 3cbfdbfb49
Apply more precise foreground to info-menu-star 2022-11-21 04:47:17 +02:00
Protesilaos Stavrou da29018fe1
Provide commands to load either of the themes 2022-11-20 07:34:26 +02:00
Protesilaos Stavrou 7c97e21959
Tweak wording of some :link values 2022-11-19 08:34:22 +02:00
Protesilaos Stavrou e0916387df
Clarify doc of standard-themes-headings 2022-11-19 08:34:05 +02:00
Protesilaos Stavrou 0bb9b170d9
Clarify doc of standard-themes-italic-constructs 2022-11-19 08:33:45 +02:00
Protesilaos Stavrou 7ed3e76368
Clarify doc of standard-themes-bold-constructs 2022-11-19 08:33:32 +02:00
Protesilaos Stavrou 8e28c8d6af
Use a more appropriate version number 2022-11-19 08:32:58 +02:00
Protesilaos Stavrou 625fd7facc
Tweak backronym in the Commentary section 2022-11-19 08:32:06 +02:00
Protesilaos Stavrou 05a8e9cda3
Add support for eglot 2022-11-18 10:39:51 +02:00
Protesilaos Stavrou 8ba3be29b2
Add support for tree-sitter package 2022-11-18 06:22:15 +02:00
Protesilaos Stavrou 2133110ba1
Cover clojure-keyword-face 2022-11-17 13:51:02 +02:00
Protesilaos Stavrou e280a58cd8
Add initial version of the standard-themes 2022-11-17 11:32:45 +02:00