|
|
@ -8,12 +8,17 @@ $last-p-padd: 1.5em;
|
|
|
|
$nav-padd: 1em;
|
|
|
|
$nav-padd: 1em;
|
|
|
|
$line-under: 1px solid #aaa;
|
|
|
|
$line-under: 1px solid #aaa;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$line-height: 1.5em;
|
|
|
|
|
|
|
|
$term-line-height: 1em;
|
|
|
|
|
|
|
|
$file-line-height: 1.2em;
|
|
|
|
|
|
|
|
|
|
|
|
body {
|
|
|
|
body {
|
|
|
|
background-color: #fefefe;
|
|
|
|
background-color: #fefefe;
|
|
|
|
padding: 16px;
|
|
|
|
padding: 16px;
|
|
|
|
font-family: -apple-system, helvetica, arial, sans-serif;
|
|
|
|
font-family: -apple-system, helvetica, arial, sans-serif;
|
|
|
|
font-size: 16px;
|
|
|
|
font-size: 16px;
|
|
|
|
color: $normal-text-color;
|
|
|
|
color: $normal-text-color;
|
|
|
|
|
|
|
|
line-height: $line-height;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
#wrapper {
|
|
|
|
#wrapper {
|
|
|
|
max-width: 800px;
|
|
|
|
max-width: 800px;
|
|
|
@ -67,8 +72,8 @@ a.post-title-link {
|
|
|
|
text-decoration: none;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
.post-title {
|
|
|
|
.post-title {
|
|
|
|
|
|
|
|
line-height: $line-height;
|
|
|
|
color: $nav-link-color;
|
|
|
|
color: $nav-link-color;
|
|
|
|
line-height: 1.3em;
|
|
|
|
|
|
|
|
}
|
|
|
|
}
|
|
|
|
a.citation-link {
|
|
|
|
a.citation-link {
|
|
|
|
text-decoration: none;
|
|
|
|
text-decoration: none;
|
|
|
@ -98,7 +103,6 @@ li {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
p {
|
|
|
|
p {
|
|
|
|
line-height: 1.5em;
|
|
|
|
|
|
|
|
padding: .1em 0;
|
|
|
|
padding: .1em 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
@ -192,7 +196,7 @@ footer {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
.terminal {
|
|
|
|
.terminal {
|
|
|
|
line-height: 1em;
|
|
|
|
line-height: $term-line-height;
|
|
|
|
overflow: scroll;
|
|
|
|
overflow: scroll;
|
|
|
|
padding: 10px;
|
|
|
|
padding: 10px;
|
|
|
|
color: #00FF41;
|
|
|
|
color: #00FF41;
|
|
|
@ -204,7 +208,7 @@ footer {
|
|
|
|
overflow: scroll;
|
|
|
|
overflow: scroll;
|
|
|
|
padding: 10px;
|
|
|
|
padding: 10px;
|
|
|
|
margin: 0px;
|
|
|
|
margin: 0px;
|
|
|
|
line-height: 1.2em;
|
|
|
|
line-height: $file-line-height;
|
|
|
|
background-color: #dfdfdf;
|
|
|
|
background-color: #dfdfdf;
|
|
|
|
color: #000;
|
|
|
|
color: #000;
|
|
|
|
}
|
|
|
|
}
|
|
|
|