Design pixel push

This commit is contained in:
Jonatan Heyman 2023-01-12 17:05:22 +01:00
parent ee9e44028c
commit 185dc25078
3 changed files with 10 additions and 9 deletions

View File

@ -189,9 +189,11 @@ const blockLayer = layer({
markers.push(new RectangleMarker( markers.push(new RectangleMarker(
idx++ % 2 == 0 ? "block-even" : "block-odd", idx++ % 2 == 0 ? "block-even" : "block-odd",
0, 0,
fromCoordsTop - (view.documentTop - view.documentPadding.top) - 1 - 6, // Change "- 0 - 6" to "+ 1 - 6" on the following line, and "+ 1 + 13" to "+2 + 13" on the line below,
// in order to make the block backgrounds to have no gap between them
fromCoordsTop - (view.documentTop - view.documentPadding.top) - 0 - 6,
null, // width is set to 100% in CSS null, // width is set to 100% in CSS
(toCoordsBottom - fromCoordsTop) + 2 + 13, (toCoordsBottom - fromCoordsTop) + 1 + 13,
)) ))
}) })
return markers return markers

View File

@ -24,7 +24,7 @@ body {
.blocks-layer .block-even { .blocks-layer .block-even {
width: 100%; width: 100%;
background: #232537; background: #252B37;
} }
.blocks-layer .block-odd { .blocks-layer .block-odd {
width: 100%; width: 100%;
@ -32,11 +32,10 @@ body {
} }
.light-theme .blocks-layer .block-even { .light-theme .blocks-layer .block-even {
background: #fffae7; background: #ffffff;
} }
.light-theme .blocks-layer .block-odd { .light-theme .blocks-layer .block-odd {
//background: #f5f9f6; background: #f4f8f4;
background: #e0f0e4;
} }
.block-start { .block-start {

View File

@ -3,7 +3,7 @@ import { EditorView } from "@codemirror/view";
export const heynoteLight = EditorView.theme({ export const heynoteLight = EditorView.theme({
"&": { "&": {
//color: base04, //color: base04,
backgroundColor: "#f5f5f5", backgroundColor: "#dfdfdf",
}, },
".cm-content": { ".cm-content": {
//caretColor: cursor, //caretColor: cursor,
@ -13,10 +13,10 @@ export const heynoteLight = EditorView.theme({
borderLeftColor: "#000", borderLeftColor: "#000",
}, },
".cm-gutters": { ".cm-gutters": {
backgroundColor: "transparent", backgroundColor: "rgba(0,0,0, 0.04)",
color: "rgba(0,0,0, 0.25)", color: "rgba(0,0,0, 0.25)",
border: "none", border: "none",
borderRight: "1px solid rgba(0,0,0, 0.07)", borderRight: "1px solid rgba(0,0,0, 0.05)",
}, },
".cm-activeLineGutter": { ".cm-activeLineGutter": {
backgroundColor: "transparent", backgroundColor: "transparent",