fixed formatting

master
Jan Danielzick 2020-02-12 04:51:19 +01:00
parent f040a3f906
commit 2015987e13
1 changed files with 55 additions and 63 deletions

View File

@ -7,17 +7,14 @@
grid-template-columns: 1fr 1fr 1fr; grid-template-columns: 1fr 1fr 1fr;
grid-auto-rows: minmax(100px, auto); grid-auto-rows: minmax(100px, auto);
} }
div.item-1 { div.item-1 {
grid-column: 2 / 3; grid-column: 2 / 3;
grid-row: 1; grid-row: 1;
} }
div.item-2 { div.item-2 {
grid-column: 2 / 3; grid-column: 2 / 3;
grid-row: 2; grid-row: 2;
} }
div.item-3 { div.item-3 {
grid-column: 2 / 3; grid-column: 2 / 3;
grid-row: 3; grid-row: 3;
@ -33,17 +30,14 @@
grid-template-columns: 1fr; grid-template-columns: 1fr;
grid-auto-rows: minmax(100px, auto); grid-auto-rows: minmax(100px, auto);
} }
div.item-1 { div.item-1 {
grid-column: 1 / 1; grid-column: 1 / 1;
grid-row: 1; grid-row: 1;
} }
div.item-2 { div.item-2 {
grid-column: 1 / 1; grid-column: 1 / 1;
grid-row: 2; grid-row: 2;
} }
div.item-3 { div.item-3 {
grid-column: 1 / 1; grid-column: 1 / 1;
grid-row: 3; grid-row: 3;
@ -74,12 +68,22 @@ pre {
font-size: 11pt; font-size: 11pt;
font-family: monospace; font-family: monospace;
} }
pre.commandLine { pre.commandLine {
background-color: #2E3436; background-color: #2E3436;
color: #C3F097; color: #C3F097;
} }
/* 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 */
span.structure { span.structure {
color: #FCAF3E; color: #FCAF3E;
font-weight: bold; font-weight: bold;
@ -92,7 +96,6 @@ span.className {
color: #8AE234; color: #8AE234;
font-weight: bold; font-weight: bold;
} }
span.type { span.type {
color: #729FCF; color: #729FCF;
} }
@ -108,14 +111,3 @@ span.name {
span.comment { span.comment {
color: #888A85; color: #888A85;
} }
/* 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;
}