diff options
| author | Unai Martinez-Corral <unai.martinezcorral@ehu.eus> | 2023-02-25 17:18:36 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2023-02-26 19:48:44 +0100 |
| commit | 19babff18e95896639f1de01785f2b7ea8608beb (patch) | |
| tree | 28bf18796ce27bcd63d79a3dd5b8017eab0f0c5f /doc/_static/theme_overrides.css | |
| parent | ef8d2cddcf44ae639d8a4f06ca2533bbb0c98954 (diff) | |
| download | ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.gz ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.bz2 ghdl-19babff18e95896639f1de01785f2b7ea8608beb.zip | |
doc: change theme to 'furo'
Diffstat (limited to 'doc/_static/theme_overrides.css')
| -rw-r--r-- | doc/_static/theme_overrides.css | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/_static/theme_overrides.css b/doc/_static/theme_overrides.css deleted file mode 100644 index c87b7353d..000000000 --- a/doc/_static/theme_overrides.css +++ /dev/null @@ -1,3 +0,0 @@ -.rst-content img.shield { - max-width: unset; -} |