From e62a3e7959937c8a1aa95809bbcad05372621441 Mon Sep 17 00:00:00 2001 From: Alejandro Saucedo Date: Sun, 21 Feb 2021 08:02:52 +0000 Subject: [PATCH] Added dark mode on docs --- docs/assets/custom.css | 8 ++++---- external/glslang | 1 + 2 files changed, 5 insertions(+), 4 deletions(-) create mode 160000 external/glslang diff --git a/docs/assets/custom.css b/docs/assets/custom.css index 1d6e3618b..06b5f8ef3 100644 --- a/docs/assets/custom.css +++ b/docs/assets/custom.css @@ -1,8 +1,8 @@ @media (max-width: 1200px) { .md-header-nav__button { - color: #ef5350; - background-color: white; + color: #fff; + background-color: #ef5350 !important; border-radius: 5px; } } @@ -16,8 +16,8 @@ h1, h2, h3, h4, h5, h6 { } /* Container backgrounds */ -.md-container, .md-main, .md-nav { - background-color: #252632; +.md-container, .md-main, .md-nav, .md-nav__list { + background-color: #252632 !important; color: #fff; } diff --git a/external/glslang b/external/glslang new file mode 160000 index 000000000..c594de23c --- /dev/null +++ b/external/glslang @@ -0,0 +1 @@ +Subproject commit c594de23cdd790d64ad5f9c8b059baae0ee2941d