diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 17:33:27 +0100 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 17:43:55 +0100 |
| commit | dcaa78cbce91eefe66f4cbcfc2c651a485d1a0da (patch) | |
| tree | 8a7fb93afa1df367f4b8eda08fd8b4f690a6367b /doc-tool/resources | |
| parent | 7501f8e03b66c7840c98893dcb00ee2a1fbd5049 (diff) | |
| download | dotty-dcaa78cbce91eefe66f4cbcfc2c651a485d1a0da.tar.gz dotty-dcaa78cbce91eefe66f4cbcfc2c651a485d1a0da.tar.bz2 dotty-dcaa78cbce91eefe66f4cbcfc2c651a485d1a0da.zip | |
Make naked codeblocks default to Scala
Diffstat (limited to 'doc-tool/resources')
| -rw-r--r-- | doc-tool/resources/css/dottydoc.css | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc-tool/resources/css/dottydoc.css b/doc-tool/resources/css/dottydoc.css index 69089b2e4..7e7c501bf 100644 --- a/doc-tool/resources/css/dottydoc.css +++ b/doc-tool/resources/css/dottydoc.css @@ -47,6 +47,12 @@ div#doc-page-container > h5 { font-size: 1rem; } +div#entity-container h1 > a, +div#entity-container h2 > a, +div#entity-container h3 > a, +div#entity-container h4 > a, +div#entity-container h5 > a, +div#entity-container h6 > a, div#doc-page-container > h1 > a, div#doc-page-container > h2 > a, div#doc-page-container > h3 > a, @@ -57,6 +63,12 @@ div#doc-page-container > h6 > a { color: #373a3c; } +div#entity-container h1 > a:hover, +div#entity-container h2 > a:hover, +div#entity-container h3 > a:hover, +div#entity-container h4 > a:hover, +div#entity-container h5 > a:hover, +div#entity-container h6 > a:hover, div#doc-page-container > h1 > a:hover, div#doc-page-container > h2 > a:hover, div#doc-page-container > h3 > a:hover, @@ -66,6 +78,12 @@ div#doc-page-container > h6 > a:hover { text-decoration: underline; } +div#entity-container h1 > a:focus, +div#entity-container h2 > a:focus, +div#entity-container h3 > a:focus, +div#entity-container h4 > a:focus, +div#entity-container h5 > a:focus, +div#entity-container h6 > a:focus, div#doc-page-container > h1 > a:focus, div#doc-page-container > h2 > a:focus, div#doc-page-container > h3 > a:focus, |