rounded corners

This commit is contained in:
2019-05-19 22:25:03 +02:00
parent 5a3bdefbda
commit 9aae3c9d48
2 changed files with 4 additions and 2 deletions

View File

@@ -268,7 +268,9 @@ pre{
margin: 6px;
padding: 0;
overflow: hidden;
box-shadow: 0px 0px 6px 2px var(--file_background_color);
border-radius: 0.4em;
box-shadow: 2px 2px 8px -1px var(--shadow_color);
/* border: 1px solid var(--accent_color_dark); */
background-color: var(--file_background_color);
color: #bfbfbf; /* Fallback */
color: var(--text_color);

View File

@@ -150,7 +150,7 @@ var defaultPixeldrainStyle = pixeldrainStyleSheet{
HighlightTextColor: hsl{0, 0, 0},
DangerColor: hsl{339, .65, .31},
DangerColorDark: hsl{339, .64, .23},
FileBackgroundColor: hsl{0, 0, 0},
FileBackgroundColor: hsl{89, .51, .02},
BackgroundColor: hsl{0, 0, .05},
BodyColor: hsl{20, .05, .14},