dragonwocky/notion-enhancer
1
0
Fork 0
mirror of https://github.com/notion-enhancer/notion-enhancer.git synced 2025-04-05 13:19:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #14 from torchatlas/master

Browse Source 
Enhanced window control buttons - hover effect and cursor change
This commit is contained in:
dragonwocky 2020-07-04 11:49:26 +10:00 committed by GitHub
commit 6960c0915f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
resources/user.css
View File

@ -58,7 +58,9 @@
border-radius: 4px; border-radius: 4px;
font-size: 16px; font-size: 16px;
transition-duration: 0.2s; transition-duration: 0.2s;
cursor: default;
} }
/* window control buttons: light theme */ /* window control buttons: light theme */
.notion-light-theme .window-button { .notion-light-theme .window-button {
font-weight: bold; font-weight: bold;
@ -66,11 +68,19 @@
.notion-light-theme .window-button:hover { .notion-light-theme .window-button:hover {
background: rgb(239, 239, 239); background: rgb(239, 239, 239);
} }
/* window control buttons: dark theme */ /* window control buttons: dark theme */
.notion-dark-theme .window-button:hover { .notion-dark-theme .window-button:hover {
background: rgb(71, 76, 80); background: rgb(71, 76, 80);
} }
/* set close button to red on hover */
.btn-close:hover{
background: #E81123 !important;
color: white;
}
/* scrollbar: pointer */ /* scrollbar: pointer */
.notion-scroller { .notion-scroller {
cursor: auto; cursor: auto;