diff options
author | Konstantin Chernenko <kb.chernenko@gmail.com> | 2023-05-24 17:08:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-24 17:08:18 +0200 |
commit | f55e22d5fe3f9121b7ed81d0c3f8c6a094dff45c (patch) | |
tree | 977c6b9cd32d62d8ff23e660c49ea738e96abbeb /docs | |
parent | d9c8c6c0035ad59dc0a5495f3247205bb8553295 (diff) | |
download | dokka-f55e22d5fe3f9121b7ed81d0c3f8c6a094dff45c.tar.gz dokka-f55e22d5fe3f9121b7ed81d0c3f8c6a094dff45c.tar.bz2 dokka-f55e22d5fe3f9121b7ed81d0c3f8c6a094dff45c.zip |
update mobile view and some bugs (#2836)
* Fix dark theme bugs: mobile TOC is visible on 1px and has white background, menu icon is black
* Refactoring css styles for header controls
* Change header responsive layout
* Change header responsive layout
* Fix scrollable columns for any header size
* Remove main content mobile spacing
* Change style for platform filters and labels
* Fix: add burger icon into dist
* Fix: long code token in mobile view
* Fix: color in filter selector
* Fix: long token in keyValue for desktop
* Fix: add spacing for iPad Mini
* Fix: dropdown for multiple versions
* update platform brand colors
* Fix: sample spacing, blockquote, playground initialize
* Safari fix outline for platform tags
* Fix non-js main content for better SEO
* Fix outline for safari browser
* Add consistent vertical spacing for header. It should normalize subpixel artifacts and centred content.
* Update manual for custom logo
* Add comment for playground
* Hide copy button for non-js user
* fix; use google fonts
* feat; change style for platform in platform-tags
* Revert Inter as defult font
* Add breaks for CONSTANTS
* incorrect non-js script position
* less specific selector for article links
Diffstat (limited to 'docs')
-rw-r--r-- | docs/topics/formats/dokka-html.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/topics/formats/dokka-html.md b/docs/topics/formats/dokka-html.md index 1b2d916d..154a2587 100644 --- a/docs/topics/formats/dokka-html.md +++ b/docs/topics/formats/dokka-html.md @@ -195,7 +195,6 @@ It's also possible to override Dokka's default stylesheets by providing files wi | `style.css` | Main stylesheet, contains most of the styles used across all pages | | `logo-styles.css` | Header logo styling | | `prism.css` | Styles for [PrismJS](https://prismjs.com/) syntax highlighter | -| `jetbrains-mono.css` | Font styling | The source code for all of Dokka's stylesheets is [available on GitHub](https://github.com/Kotlin/dokka/tree/%dokkaVersion%/plugins/base/src/main/resources/dokka/styles). |