mii/tokenizers
1
0
Fork 0
mirror of https://github.com/mii443/tokenizers.git synced 2025-12-07 21:28:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Doc - Better language/version selector colors

Browse Source
This commit is contained in:
Anthony MOI
2020-10-02 14:21:07 -04:00
committed by Anthony MOI
parent 6fb48cb5aa
commit 080302e8c2
1 changed files with 7 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
docs/source/_static/css/huggingface.css
View File

@@ -17,9 +17,13 @@
background-color: #A6B0FF; background-color: #A6B0FF;
} }
.dropdown-button.active {
background-color: #7988FF;
}
.menu-dropdown { .menu-dropdown {
display: none; display: none;
background-color: #A6B0FF; background-color: #7988FF;
min-width: 160px; min-width: 160px;
overflow: auto; overflow: auto;
font-size: 15px; font-size: 15px;
@@ -34,11 +38,11 @@
} }
.menu-dropdown a:hover { .menu-dropdown a:hover {
background-color: #6670FF; background-color: #A6B0FF;
} }
.dropdown-link.active { .dropdown-link.active {
background-color: #424ac6; background-color: #A6B0FF;
} }
.show { .show {