diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-02-25 09:32:30 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-02-25 09:32:30 +0100 |
commit | 51080b6a8478894882d666147e5f948150532540 (patch) | |
tree | b57cdd4b9e85d34c102f387cc5c0b6f16f7c8ee8 /site/cleopatra/Theme.org | |
parent | Improve the readability of the revisions table script (diff) |
Rework the revisions table script to make it more readable
Diffstat (limited to 'site/cleopatra/Theme.org')
-rw-r--r-- | site/cleopatra/Theme.org | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/site/cleopatra/Theme.org b/site/cleopatra/Theme.org index acabf20..0735765 100644 --- a/site/cleopatra/Theme.org +++ b/site/cleopatra/Theme.org @@ -145,6 +145,10 @@ body#default main .code, code, pre, .inlinecode, tt body#default main + summary + color: $primary-color + font-weight: bold + @import coq, org .TODO |