ariejan/devroom.io
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Refresh theme

Browse Source
This commit is contained in:
Ariejan de Vroom 2023-02-27 10:46:16 +01:00
parent 6da095e5df
commit 724ec2dc55
Signed by: ariejan
GPG Key ID: AD739154F713697B
1 changed files with 18 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
themes/devroom-2020/assets/scss/devroom.scss
View File

@ -1,37 +1,39 @@
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;700&family=PT+Serif:ital,wght@0,400;0,700;1,400;1,700&family=Rubik:wght@400;700&display=swap');
@import url('https://cdn-uicons.flaticon.com/uicons-regular-straight/css/uicons-regular-straight.css');
// @import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;700&family=PT+Serif:ital,wght@0,400;0,700;1,400;1,700&family=Rubik:wght@400;700&display=swap');
// @import url('https://cdn-uicons.flaticon.com/uicons-regular-straight/css/uicons-regular-straight.css');
$h1_font_size: 2.4rem;
$h2_font_size: 2rem;
$header_size: 1.4rem;
$header_size: 1.2rem;
$font_size: 1.1rem;
$code_font_size: 0.96rem;
$font_size: 17px;
$code_font_size: 15px;
$code_line_height: 1.4rem;
$line-height: 1.6rem;
$word-spacing: 0.1em;
$background: #14002e;
$background: #ffffff;
$backdrop: $background;
$text: #f7eefd;
$links: #f92672;
$text: #301800;
$links: #1585e0;
$footer: $text;
$meta: $text;
$header: $text;
$highlight: $links;
$code_background: $background;
$code_border_color: lighten($background, 15%);
$code: #ae81ff;
$code_border_color: $background;
$code: #ff9327;
html, body {
background-color: $backdrop;
color: $text;
font-family: 'PT Serif', serif;
font-family: Georgia, "Bitstream Charter", "Times New Roman", serif;
font-size: $font_size;
line-height: $line-height;
word-spacing: $word-spacing;
}
code, pre {
font-family: 'IBM Plex Mono', monospace;
font-family: monospace;
}
.important {
@ -64,10 +66,12 @@ nav a {
}
h1, h2, h3, h4, h5 {
font-family: 'Rubik', sans-serif;
// font-family: 'Rubik', sans-serif;
font-family: Georgia, "Bitstream Charter", "Times New Roman", serif;
font-size: $header_size;
font-weight: bold;
line-height: $header_size * 1.8;
font-variant: small-caps;
line-height: $header_size * 1.1;
color: $header;
margin: 0.67rem 0;
}