1
1
mirror of https://github.com/Fabio286/antares.git synced 2025-06-05 21:59:22 +02:00

feat: ability to add new shortcuts

This commit is contained in:
2022-08-16 13:10:20 +02:00
parent 8cb2c197c8
commit d044a02cb7
9 changed files with 137 additions and 19 deletions

View File

@ -163,7 +163,8 @@
}
code {
background-color: #000;
background-color: #111;
border: 1px solid #444;
color: rgba($body-font-color-dark, 0.7);
}

View File

@ -209,6 +209,11 @@
}
}
code {
background-color: #eee;
border: 1px solid #ddd;
}
.workspace {
.workspace-explorebar {
background: $bg-color-light-gray;