Minor CSS tweaks

This commit is contained in:
Jonatan Heyman 2023-01-14 23:40:28 +01:00
parent 2b3a7817c8
commit 672052dd7b
2 changed files with 8 additions and 3 deletions

View File

@ -60,10 +60,11 @@
color: #fff color: #fff
font-family: "Open Sans" font-family: "Open Sans"
font-size: 12px font-size: 12px
padding-left: 7px padding-left: 0px
padding-right: 7px padding-right: 0px
display: flex display: flex
flex-direction: row flex-direction: row
user-select: none
&.dark &.dark
background: #0e1713 background: #0e1713
@ -79,14 +80,17 @@
flex-grow: 1 flex-grow: 1
.status-block .status-block
padding: 2px 5px padding: 2px 12px
cursor: default cursor: default
&.line-number &.line-number
color: rgba(255, 255, 255, 0.7) color: rgba(255, 255, 255, 0.7)
.num .num
color: rgba(255, 255, 255, 1.0) color: rgba(255, 255, 255, 1.0)
&.lang &.lang
cursor: pointer
.auto .auto
color: rgba(255, 255, 255, 0.7) color: rgba(255, 255, 255, 0.7)
&:hover
background: rgba(255,255,255, 0.1)
</style> </style>

View File

@ -13,6 +13,7 @@ export const heynoteBase = EditorView.theme({
}, },
'.cm-gutters': { '.cm-gutters': {
padding: '0 2px 0 4px', padding: '0 2px 0 4px',
userSelect: 'none',
}, },
'.cm-foldGutter': { '.cm-foldGutter': {
marginLeft: '0px', marginLeft: '0px',