2022-01-14 18:07:31 -05:00
|
|
|
body {
|
2022-01-14 19:32:43 -05:00
|
|
|
background-color: black;
|
|
|
|
color: white;
|
2022-01-17 17:48:37 -05:00
|
|
|
font-family: "Noto Serif", serif;
|
2022-01-14 19:32:43 -05:00
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
header {
|
2022-01-17 17:48:37 -05:00
|
|
|
background-color: #E89F17;
|
|
|
|
color: black;
|
2022-01-14 19:32:43 -05:00
|
|
|
padding: 1em;
|
2022-01-17 17:48:37 -05:00
|
|
|
box-shadow: 0px 0px 5px 2px #222;
|
|
|
|
z-index: 10;
|
|
|
|
position: relative;
|
2022-01-14 19:32:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
text-decoration: none;
|
2022-01-17 18:17:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
a:hover {
|
|
|
|
color: white;
|
2022-01-14 19:32:43 -05:00
|
|
|
}
|
|
|
|
|
2022-01-17 17:48:37 -05:00
|
|
|
#cabinet {
|
|
|
|
margin: 0;
|
2022-01-14 19:49:11 -05:00
|
|
|
}
|
|
|
|
|
2022-01-17 17:48:37 -05:00
|
|
|
#cabinet-icon {
|
|
|
|
position: relative;
|
2022-01-17 18:17:17 -05:00
|
|
|
bottom: .1em;
|
2022-01-17 17:48:37 -05:00
|
|
|
margin-right: .2em;
|
|
|
|
display: inline-block;
|
|
|
|
height: 1em;
|
2022-01-14 19:49:11 -05:00
|
|
|
}
|
|
|
|
|
2022-01-17 17:48:37 -05:00
|
|
|
.button {
|
2022-01-17 17:57:39 -05:00
|
|
|
text-align: center;
|
2022-01-17 17:48:37 -05:00
|
|
|
padding: .4em;
|
2022-01-17 17:57:39 -05:00
|
|
|
background-color: #183b9a;
|
|
|
|
color: #fcfeff;
|
|
|
|
width: 100px;
|
2022-01-14 19:49:11 -05:00
|
|
|
}
|
|
|
|
|
2022-01-17 18:17:17 -05:00
|
|
|
nav.container-fluid {
|
2022-01-17 17:48:37 -05:00
|
|
|
box-sizing: border-box;
|
|
|
|
justify-content: space-between;
|
|
|
|
align-items: center;
|
|
|
|
display: flex;
|
2022-01-17 18:17:17 -05:00
|
|
|
padding: 0;
|
2022-01-17 17:48:37 -05:00
|
|
|
background-color: #112a6f;
|
2022-01-14 19:32:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#path {
|
2022-01-17 17:48:37 -05:00
|
|
|
color: #fcfeff;
|
2022-01-14 19:32:43 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
#cabinet {
|
|
|
|
margin-top: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
main {
|
|
|
|
margin: 2em;
|
|
|
|
text-align: justify;
|
2022-01-16 15:58:46 -05:00
|
|
|
position: relative;
|
|
|
|
}
|
|
|
|
|
2022-02-06 12:45:04 -05:00
|
|
|
.sourceCode pre {
|
|
|
|
margin-bottom: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
.sourceCode {
|
|
|
|
margin-bottom: 1rem;
|
|
|
|
}
|
|
|
|
|
2022-02-13 16:15:30 -05:00
|
|
|
.linenos {
|
|
|
|
width: 20px;
|
|
|
|
}
|
|
|
|
|
2022-01-16 15:58:46 -05:00
|
|
|
.highlight {
|
|
|
|
background-color: #111;
|
|
|
|
padding: .2em .5em;
|
|
|
|
border-radius: 4px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.highlighttable {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
|
|
overflow-x: auto;
|
2022-01-14 18:07:31 -05:00
|
|
|
}
|
2022-02-14 12:01:16 -05:00
|
|
|
|
|
|
|
#meta {
|
|
|
|
width: 100%;
|
|
|
|
font-size: 1.3em;
|
|
|
|
}
|
|
|
|
|
|
|
|
#meta td:nth-child(2) {
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
|
|
|
#toc {
|
|
|
|
margin-top: 2em;
|
|
|
|
}
|