Compare commits

..

No commits in common. "b71384e9923edce80be26522d0067d9dedfe8864" and "5288dee6b31d08f57f66359b099dc78cf5cd398b" have entirely different histories.

2 changed files with 2 additions and 17 deletions

View file

@ -19,7 +19,7 @@ external_links_class = "external"
external_links_target_blank = true external_links_target_blank = true
external_links_no_referrer = true external_links_no_referrer = true
definition_list = true definition_list = true
insert_anchor_links = "left" insert_anchor_links = "heading"
[search] [search]

View file

@ -1,7 +1,4 @@
/* general */ // force dark theme
/* theme */
@mixin theme-variables($theme) { @mixin theme-variables($theme) {
@if $theme =='light' { @if $theme =='light' {
--primary-color: #FC9300; --primary-color: #FC9300;
@ -26,15 +23,3 @@
@include theme-variables('dark'); @include theme-variables('dark');
} }
} }
/* header */
.home-title {
background-color: var(--primary-color);
color: var(--background-color);
padding: 0.12rem;
}
.nav-links {
text-decoration: underline;
}