Added styling for github syntax highlighting.

This commit is contained in:
Daniel Scalzi
2018-06-30 14:23:42 -04:00
parent 13a6dcea63
commit 52d90276bf
3 changed files with 17 additions and 0 deletions

View File

@@ -1,3 +1,6 @@
/* Github Code Highlighting. */
@import "../../../node_modules/github-syntax-dark/lib/github-dark.css";
/*******************************************************************************
* *
* Fonts *
@@ -1768,6 +1771,14 @@ input:checked + .toggleSwitchSlider:before {
color: black;
font-weight: bold;
}
#settingsChangelogText .highlight {
background: rgba(0, 0, 0, 0.30);
user-select: initial;
padding: 5px 10px;
}
#settingsChangelogText .highlight pre {
margin: 0px;
}
/* Container for the changelog button. */
#settingsChangelogActions {