diff options
| author | Pavel Pi <info@pavel-pi.de> | 2022-06-03 15:32:12 +0300 |
|---|---|---|
| committer | Pavel Pi <info@pavel-pi.de> | 2022-06-03 15:32:12 +0300 |
| commit | ffaf2375cda92564df7d035ba9f2ead80d71f6be (patch) | |
| tree | 7d9293d3ebdb61fd32a15266fb861d5975070c9b /static | |
| parent | a40531b554bdb9004a5a7087bcd4d7e0d5251e87 (diff) | |
Diffstat (limited to 'static')
| -rw-r--r-- | static/css/style.css | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/static/css/style.css b/static/css/style.css index d8faab9..00932fe 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -1,3 +1,26 @@ +#TableOfContents { + background: transparent; + margin-bottom: 2rem; + font-size: 1.1em; +} + +#TableOfContents a { + color: #b52323; +} + +#TableOfContents a:hover { + border-bottom: 1px solid #b52323; +} + +#TableOfContents a + ul { + padding-left:2em; +} + +#TableOfContents a + ul strong { + color: #b52323; + font-weight: 620; +} + .card, .highlight, .highlight pre, |