This commit is contained in:
parent
126f3357bb
commit
9d073a0be6
3 changed files with 13 additions and 7 deletions
|
@ -28,7 +28,7 @@ import portrait from "../assets/self.png";
|
||||||
|
|
||||||
<div class="bio">
|
<div class="bio">
|
||||||
<ShortBio />
|
<ShortBio />
|
||||||
<a href="/about">More »</a>
|
<a href="/about/">More »</a>
|
||||||
</div>
|
</div>
|
||||||
</div>
|
</div>
|
||||||
</nav>
|
</nav>
|
||||||
|
|
|
@ -43,7 +43,7 @@
|
||||||
@media (prefers-color-scheme: dark) {
|
@media (prefers-color-scheme: dark) {
|
||||||
$backgroundColor: #202030;
|
$backgroundColor: #202030;
|
||||||
$textColor: #cdcdcd;
|
$textColor: #cdcdcd;
|
||||||
$linkColor: lightskyblue;
|
$linkColor: hsl(216, 82%, 75%);
|
||||||
$linkHoverColor: #202749;
|
$linkHoverColor: #202749;
|
||||||
|
|
||||||
:root {
|
:root {
|
||||||
|
|
|
@ -50,7 +50,7 @@ code {
|
||||||
// color: $code-color;
|
// color: $code-color;
|
||||||
}
|
}
|
||||||
|
|
||||||
pre > code,
|
pre>code,
|
||||||
pre.Agda {
|
pre.Agda {
|
||||||
color: var(--text-color);
|
color: var(--text-color);
|
||||||
display: block;
|
display: block;
|
||||||
|
@ -77,6 +77,10 @@ small {
|
||||||
color: var(--small-text-color);
|
color: var(--small-text-color);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
ul li {
|
||||||
|
margin-bottom: 6px;
|
||||||
|
}
|
||||||
|
|
||||||
// Letter spacing
|
// Letter spacing
|
||||||
|
|
||||||
body {
|
body {
|
||||||
|
@ -84,7 +88,7 @@ body {
|
||||||
}
|
}
|
||||||
|
|
||||||
code,
|
code,
|
||||||
pre > code {
|
pre>code {
|
||||||
font-size: 0.95rem;
|
font-size: 0.95rem;
|
||||||
letter-spacing: -0.035rem;
|
letter-spacing: -0.035rem;
|
||||||
}
|
}
|
||||||
|
@ -98,7 +102,7 @@ pre > code {
|
||||||
justify-content: center;
|
justify-content: center;
|
||||||
}
|
}
|
||||||
|
|
||||||
.flex-wrapper > main {
|
.flex-wrapper>main {
|
||||||
min-width: 0;
|
min-width: 0;
|
||||||
max-width: variables.$breakpoint;
|
max-width: variables.$breakpoint;
|
||||||
flex-grow: 1;
|
flex-grow: 1;
|
||||||
|
@ -116,6 +120,7 @@ pre > code {
|
||||||
@media screen and (max-width: variables.$breakpoint) {
|
@media screen and (max-width: variables.$breakpoint) {
|
||||||
.flex-wrapper {
|
.flex-wrapper {
|
||||||
flex-direction: column;
|
flex-direction: column;
|
||||||
|
|
||||||
.container {
|
.container {
|
||||||
padding: 5px 20px;
|
padding: 5px 20px;
|
||||||
}
|
}
|
||||||
|
@ -125,13 +130,14 @@ pre > code {
|
||||||
@media screen and (min-width: variables.$breakpoint) {
|
@media screen and (min-width: variables.$breakpoint) {
|
||||||
.flex-wrapper {
|
.flex-wrapper {
|
||||||
flex-direction: row;
|
flex-direction: row;
|
||||||
|
|
||||||
.container {
|
.container {
|
||||||
padding: 32px 40px 5px 40px;
|
padding: 32px 40px 5px 40px;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
.flex-wrapper > main.pad {
|
.flex-wrapper>main.pad {
|
||||||
padding-left: 30px;
|
padding-left: 30px;
|
||||||
padding-right: 30px;
|
padding-right: 30px;
|
||||||
}
|
}
|
||||||
}
|
}
|
Loading…
Reference in a new issue