2020-02-12 04:40:36 +01:00
|
|
|
/* optimized for desktop users */
|
2020-02-12 10:11:38 +01:00
|
|
|
/*@media only screen and (min-width: 1280px) {*/
|
2020-02-12 04:51:19 +01:00
|
|
|
.container{
|
|
|
|
display: grid;
|
|
|
|
grid-template-rows: 100px;
|
2020-02-21 10:26:12 +01:00
|
|
|
grid-template-columns: 1fr 3fr 1fr;
|
|
|
|
grid-gap: 10px;
|
2020-02-12 04:51:19 +01:00
|
|
|
grid-auto-rows: minmax(100px, auto);
|
2020-02-21 10:26:12 +01:00
|
|
|
padding: 10px;
|
2020-02-12 04:51:19 +01:00
|
|
|
}
|
2020-02-12 10:48:46 +01:00
|
|
|
div {
|
|
|
|
overflow: hidden;
|
2020-02-12 10:51:01 +01:00
|
|
|
text-overflow: clip;
|
2020-02-12 10:48:46 +01:00
|
|
|
}
|
2020-02-12 04:51:19 +01:00
|
|
|
div.item-1 {
|
|
|
|
grid-column: 2 / 3;
|
|
|
|
grid-row: 1;
|
|
|
|
}
|
|
|
|
div.item-2 {
|
|
|
|
grid-column: 2 / 3;
|
|
|
|
grid-row: 2;
|
|
|
|
}
|
|
|
|
div.item-3 {
|
|
|
|
grid-column: 2 / 3;
|
|
|
|
grid-row: 3;
|
|
|
|
}
|
2020-02-17 08:37:09 +01:00
|
|
|
div.item-4 {
|
|
|
|
grid-column: 2 / 3;
|
2020-02-21 09:59:16 +01:00
|
|
|
grid-row: 4;
|
2020-02-17 08:37:09 +01:00
|
|
|
}
|
2020-02-12 10:05:09 +01:00
|
|
|
body {
|
|
|
|
font-size: 1em;
|
|
|
|
}
|
2020-02-12 10:33:18 +01:00
|
|
|
p {
|
2020-02-12 10:54:24 +01:00
|
|
|
font-family: monospace;
|
2020-02-19 10:26:47 +01:00
|
|
|
color: #001858;
|
2020-02-12 10:33:18 +01:00
|
|
|
}
|
2020-02-21 10:34:55 +01:00
|
|
|
li {
|
|
|
|
font-family: monospace;
|
|
|
|
color: #001858;
|
|
|
|
}
|
2020-02-12 10:57:22 +01:00
|
|
|
input {
|
|
|
|
font-family: monospace;
|
|
|
|
}
|
2020-02-12 11:01:22 +01:00
|
|
|
button {
|
|
|
|
font-family: monospace;
|
2020-02-19 10:26:47 +01:00
|
|
|
color: #001858;
|
2020-02-12 11:01:22 +01:00
|
|
|
}
|
2020-02-12 10:31:18 +01:00
|
|
|
h1, h2, h3, h4, h5, h6 {
|
2020-02-12 10:58:24 +01:00
|
|
|
font-family: monospace;
|
2020-02-19 10:26:47 +01:00
|
|
|
color: #001858;
|
2020-02-12 10:31:18 +01:00
|
|
|
}
|
|
|
|
|
2020-02-12 10:11:38 +01:00
|
|
|
/*}*/
|
2020-02-12 04:40:36 +01:00
|
|
|
|
|
|
|
/* optimized for mobile users */
|
2020-02-12 10:11:38 +01:00
|
|
|
/*
|
2020-02-12 09:57:09 +01:00
|
|
|
@media only screen and (max-width: 1279px) {
|
2020-02-12 04:51:19 +01:00
|
|
|
.container{
|
|
|
|
display: grid;
|
|
|
|
grid-template-columns: repeat(1, 1fr);
|
|
|
|
grid-template-rows: 100px;
|
|
|
|
grid-template-columns: 1fr;
|
|
|
|
grid-auto-rows: minmax(100px, auto);
|
|
|
|
}
|
|
|
|
div.item-1 {
|
|
|
|
grid-column: 1 / 1;
|
|
|
|
grid-row: 1;
|
|
|
|
}
|
|
|
|
div.item-2 {
|
|
|
|
grid-column: 1 / 1;
|
|
|
|
grid-row: 2;
|
|
|
|
}
|
|
|
|
div.item-3 {
|
|
|
|
grid-column: 1 / 1;
|
|
|
|
grid-row: 3;
|
|
|
|
}
|
2020-02-12 10:05:09 +01:00
|
|
|
body {
|
|
|
|
font-size:3em;
|
|
|
|
}
|
2020-02-12 04:40:36 +01:00
|
|
|
}
|
2020-02-12 10:11:38 +01:00
|
|
|
*/
|
2020-02-12 04:40:36 +01:00
|
|
|
|
|
|
|
div.round-border {
|
2020-02-12 04:51:19 +01:00
|
|
|
border: 1px solid;
|
|
|
|
padding: 0.01em 16px;
|
|
|
|
border-radius: 16px;
|
2020-02-12 04:40:36 +01:00
|
|
|
}
|
|
|
|
|
2020-02-24 05:01:44 +01:00
|
|
|
img {
|
|
|
|
max-width: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
img.available_space {
|
|
|
|
object-fit: contain;
|
|
|
|
}
|
|
|
|
|
2020-02-17 05:50:49 +01:00
|
|
|
div.image_container {
|
|
|
|
border: 1px solid;
|
2020-02-17 06:02:09 +01:00
|
|
|
padding: 0.5em 0.5em;
|
2020-02-17 05:50:49 +01:00
|
|
|
background-color: #F0F0F0;
|
|
|
|
}
|
|
|
|
|
2020-02-17 05:58:33 +01:00
|
|
|
p.image_container {
|
|
|
|
font-size: 0.8em;
|
|
|
|
}
|
|
|
|
|
2020-02-24 05:01:44 +01:00
|
|
|
div.margin {
|
|
|
|
margin: 20px;
|
|
|
|
}
|
|
|
|
|
2020-02-12 04:40:36 +01:00
|
|
|
body {
|
2020-02-19 23:27:44 +01:00
|
|
|
margin: 0px;
|
2020-02-20 19:28:40 +01:00
|
|
|
background-color: #fef6e4;
|
2020-02-12 04:57:59 +01:00
|
|
|
color: #000000;
|
|
|
|
}
|
|
|
|
|
|
|
|
body.status_page {
|
|
|
|
background-color: #B6BDBD;
|
|
|
|
color: #000000;
|
2020-02-12 04:40:36 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/* code blocks */
|
|
|
|
pre {
|
|
|
|
margin-left: 20px;
|
|
|
|
margin-right: 20px;
|
|
|
|
margin-top: 0px;
|
|
|
|
background-color: white;
|
|
|
|
border-style: solid;
|
|
|
|
border-color: #888A85;
|
|
|
|
border-width: 1px;
|
|
|
|
font-size: 11pt;
|
|
|
|
font-family: monospace;
|
|
|
|
}
|
|
|
|
pre.commandLine {
|
|
|
|
background-color: #2E3436;
|
|
|
|
color: #C3F097;
|
|
|
|
}
|
2020-02-12 04:51:19 +01:00
|
|
|
/* in-line code block */
|
|
|
|
span.codeBlockInText{
|
|
|
|
background-color: white;
|
|
|
|
border-color: black;
|
|
|
|
border-style: solid;
|
|
|
|
border-width: 1px;
|
|
|
|
font-size: 11pt;
|
|
|
|
font-family: monospace;
|
|
|
|
padding-left: 5px;
|
|
|
|
padding-right: 5px;
|
|
|
|
}
|
|
|
|
/* code highlighting */
|
2020-02-12 04:40:36 +01:00
|
|
|
span.structure {
|
|
|
|
color: #FCAF3E;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
span.primitive {
|
|
|
|
color: #729FCF;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
span.className {
|
|
|
|
color: #8AE234;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
span.type {
|
|
|
|
color: #729FCF;
|
|
|
|
}
|
|
|
|
span.value {
|
|
|
|
color: #C17D11;
|
|
|
|
}
|
|
|
|
span.function {
|
|
|
|
color: #75507B;
|
|
|
|
}
|
|
|
|
span.name {
|
|
|
|
color: #8AE234;
|
|
|
|
}
|
|
|
|
span.comment {
|
|
|
|
color: #888A85;
|
|
|
|
}
|
2020-02-17 09:03:22 +01:00
|
|
|
|
|
|
|
ul.topnav {
|
|
|
|
list-style-type: none;
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
overflow: hidden;
|
2020-02-20 19:24:58 +01:00
|
|
|
background-color: #001858;
|
2020-02-17 09:03:22 +01:00
|
|
|
}
|
|
|
|
|
2020-02-19 10:58:55 +01:00
|
|
|
/*.topnav a:hover, .dropdown:hover .dropbtn {
|
|
|
|
background-color: #8bd3dd;
|
|
|
|
}*/
|
|
|
|
|
2020-02-17 09:03:22 +01:00
|
|
|
ul.topnav li {float: left;}
|
|
|
|
|
|
|
|
ul.topnav li a {
|
|
|
|
display: block;
|
|
|
|
text-align: center;
|
2020-02-20 19:24:58 +01:00
|
|
|
color: #fef6e4;
|
2020-02-19 10:09:05 +01:00
|
|
|
font-family: monospace;
|
|
|
|
font-size: 1em;
|
|
|
|
|
2020-02-23 18:20:13 +01:00
|
|
|
padding: 14px 16px;
|
2020-02-17 09:03:22 +01:00
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
2020-02-19 15:06:13 +01:00
|
|
|
ul.topnav li a:hover:not(.active) {
|
2020-02-20 19:28:40 +01:00
|
|
|
background-color: #8bd3dd;
|
2020-02-19 15:06:13 +01:00
|
|
|
}
|
2020-02-17 09:03:22 +01:00
|
|
|
|
2020-02-19 15:06:13 +01:00
|
|
|
ul.topnav li a.active {
|
2020-02-20 19:28:40 +01:00
|
|
|
background-color: #f582ae;
|
2020-02-19 15:06:13 +01:00
|
|
|
}
|
2020-02-17 09:03:22 +01:00
|
|
|
|
2020-02-19 15:06:13 +01:00
|
|
|
ul.topnav li.right {
|
|
|
|
float: right;
|
|
|
|
}
|
2020-02-17 09:03:22 +01:00
|
|
|
|
2020-02-23 18:18:01 +01:00
|
|
|
/*@media screen and (max-width: 600px) {
|
2020-02-17 09:03:22 +01:00
|
|
|
ul.topnav li.right,
|
|
|
|
ul.topnav li {float: none;}
|
2020-02-23 18:18:01 +01:00
|
|
|
}*/
|
2020-02-17 09:03:22 +01:00
|
|
|
|
2020-02-21 10:43:26 +01:00
|
|
|
ul.list {
|
|
|
|
list-style-type: none;
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
overflow: hidden;
|
|
|
|
background-color: #001858;
|
2020-02-21 10:41:57 +01:00
|
|
|
}
|
|
|
|
|
2020-02-21 10:43:26 +01:00
|
|
|
ul.list li {float: none;}
|
|
|
|
|
2020-02-21 10:41:57 +01:00
|
|
|
ul.list li p {
|
2020-02-21 10:39:12 +01:00
|
|
|
display: block;
|
2020-02-21 10:48:10 +01:00
|
|
|
text-align: left;
|
2020-02-21 10:39:12 +01:00
|
|
|
color: #fef6e4;
|
|
|
|
font-family: monospace;
|
|
|
|
font-size: 1em;
|
|
|
|
padding: 14px 16px;
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
2020-02-19 10:41:39 +01:00
|
|
|
/*.dropdown-content {
|
2020-02-19 10:35:43 +01:00
|
|
|
display: none;
|
|
|
|
position: absolute;
|
|
|
|
background-color: #f9f9f9;
|
|
|
|
min-width: 160px;
|
|
|
|
box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
|
|
|
|
z-index: 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
.dropdown-content a {
|
|
|
|
float: none;
|
|
|
|
color: black;
|
|
|
|
padding: 12px 16px;
|
|
|
|
text-decoration: none;
|
|
|
|
display: block;
|
|
|
|
text-align: left;
|
|
|
|
}
|
|
|
|
|
|
|
|
.dropdown-content a:hover {
|
|
|
|
background-color: #ddd;
|
|
|
|
}
|
|
|
|
|
|
|
|
.dropdown:hover .dropdown-content {
|
|
|
|
display: block;
|
|
|
|
}
|
|
|
|
|
|
|
|
.dropdown {
|
|
|
|
float: left;
|
|
|
|
overflow: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
.dropdown .dropbtn {
|
|
|
|
font-size: 16px;
|
|
|
|
border: none;
|
|
|
|
outline: none;
|
|
|
|
color: white;
|
|
|
|
padding: 14px 16px;
|
|
|
|
background-color: inherit;
|
|
|
|
font-family: inherit;
|
|
|
|
margin: 0;
|
2020-02-19 15:06:13 +01:00
|
|
|
}*/
|