diff --git a/src/components/LeftNav.astro b/src/components/LeftNav.astro index 7ade6ab..30041b4 100644 --- a/src/components/LeftNav.astro +++ b/src/components/LeftNav.astro @@ -28,7 +28,7 @@ import portrait from "../assets/self.png";
diff --git a/src/styles/_colors.scss b/src/styles/_colors.scss index a1d7e8f..7d395eb 100644 --- a/src/styles/_colors.scss +++ b/src/styles/_colors.scss @@ -43,7 +43,7 @@ @media (prefers-color-scheme: dark) { $backgroundColor: #202030; $textColor: #cdcdcd; - $linkColor: lightskyblue; + $linkColor: hsl(216, 82%, 75%); $linkHoverColor: #202749; :root { diff --git a/src/styles/global.scss b/src/styles/global.scss index 255dfee..5e34edf 100644 --- a/src/styles/global.scss +++ b/src/styles/global.scss @@ -50,7 +50,7 @@ code { // color: $code-color; } -pre > code, +pre>code, pre.Agda { color: var(--text-color); display: block; @@ -77,6 +77,10 @@ small { color: var(--small-text-color); } +ul li { + margin-bottom: 6px; +} + // Letter spacing body { @@ -84,7 +88,7 @@ body { } code, -pre > code { +pre>code { font-size: 0.95rem; letter-spacing: -0.035rem; } @@ -98,7 +102,7 @@ pre > code { justify-content: center; } -.flex-wrapper > main { +.flex-wrapper>main { min-width: 0; max-width: variables.$breakpoint; flex-grow: 1; @@ -116,6 +120,7 @@ pre > code { @media screen and (max-width: variables.$breakpoint) { .flex-wrapper { flex-direction: column; + .container { padding: 5px 20px; } @@ -125,13 +130,14 @@ pre > code { @media screen and (min-width: variables.$breakpoint) { .flex-wrapper { flex-direction: row; + .container { padding: 32px 40px 5px 40px; } } - .flex-wrapper > main.pad { + .flex-wrapper>main.pad { padding-left: 30px; padding-right: 30px; } -} +} \ No newline at end of file