diff options
| author | Clément Zrounba <6691770+clement-z@users.noreply.github.com> | 2023-09-30 23:06:01 +0200 |
|---|---|---|
| committer | Clément Zrounba <6691770+clement-z@users.noreply.github.com> | 2023-09-30 23:26:46 +0200 |
| commit | ff9b8bb838ecdfbfc1dc81038fcf3b2a87636982 (patch) | |
| tree | 21f27be782ce11c6d00b96ce100a2bff88141b2e /doc/custom.css | |
| download | specs-ff9b8bb838ecdfbfc1dc81038fcf3b2a87636982.tar.gz specs-ff9b8bb838ecdfbfc1dc81038fcf3b2a87636982.zip | |
Initial release
Diffstat (limited to 'doc/custom.css')
| -rw-r--r-- | doc/custom.css | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/custom.css b/doc/custom.css new file mode 100644 index 0000000..4a256a9 --- /dev/null +++ b/doc/custom.css @@ -0,0 +1,13 @@ +tt, code, kbd, samp { + display: inline-block; + direction: ltr; + color: darkblue; +} + +pre.fragment { + color: darkblue; +} + +a { + text-decoration: underline; +} |