deploy: b3bd3fa3371fccb7e725b9dedca5627db9098740

This commit is contained in:
yannh 2021-12-19 21:55:29 +00:00
commit 18a9c0775a
24 changed files with 585 additions and 0 deletions

122
css/prism.css Normal file
View file

@ -0,0 +1,122 @@
/**
* okaidia theme for JavaScript, CSS and HTML
* Loosely based on Monokai textmate theme by http://www.monokai.nl/
* @author ocodia
*/
code[class*="language-"],
pre[class*="language-"] {
color: #f8f8f2;
background: none;
text-shadow: 0 1px rgba(0, 0, 0, 0.3);
font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
text-align: left;
white-space: pre;
word-spacing: normal;
word-break: normal;
word-wrap: normal;
line-height: 1.5;
-moz-tab-size: 4;
-o-tab-size: 4;
tab-size: 4;
-webkit-hyphens: none;
-moz-hyphens: none;
-ms-hyphens: none;
hyphens: none;
}
/* Code blocks */
pre[class*="language-"] {
padding: 1em;
margin: .5em 0;
overflow: auto;
border-radius: 0.3em;
}
:not(pre) > code[class*="language-"],
pre[class*="language-"] {
background: #272822;
}
/* Inline code */
:not(pre) > code[class*="language-"] {
padding: .1em;
border-radius: .3em;
white-space: normal;
}
.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
color: slategray;
}
.token.punctuation {
color: #f8f8f2;
}
.namespace {
opacity: .7;
}
.token.property,
.token.tag,
.token.constant,
.token.symbol,
.token.deleted {
color: #f92672;
}
.token.boolean,
.token.number {
color: #ae81ff;
}
.token.selector,
.token.attr-name,
.token.string,
.token.char,
.token.builtin,
.token.inserted {
color: #a6e22e;
}
.token.operator,
.token.entity,
.token.url,
.language-css .token.string,
.style .token.string,
.token.variable {
color: #f8f8f2;
}
.token.atrule,
.token.attr-value,
.token.function,
.token.class-name {
color: #e6db74;
}
.token.keyword {
color: #66d9ef;
}
.token.regex,
.token.important {
color: #fd971f;
}
.token.important,
.token.bold {
font-weight: bold;
}
.token.italic {
font-style: italic;
}
.token.entity {
cursor: help;
}

204
css/style.css Normal file
View file

@ -0,0 +1,204 @@
/* Colors */
body { background-color: white; }
a { color: black }
hr { border-color: #ddd; }
#header, #footer { background-color: #002036; color: white }
@media (prefers-color-scheme: dark) {
}
/* Font sizes */
body { font-size: 1.2rem; line-height: 1.7rem; text-size-adjust: 100%; }
h1 { font-size: 2.3rem; line-height: 3.2rem; font-weight: 400 }
h2 { font-size: 1.8rem; line-height: 2.3rem; font-weight: 400 }
h3 { font-size: 1.5rem; line-height: 1.8rem; font-weight: 300 }
#header h1 { font-size: 3rem; line-height: 3.3rem; font-weight: 500; margin-top: 0.2em; margin-left: 30px }
#header h2 { font-size: 1.3rem; line-height: 1.5rem; font-weight: 300; font-style: italic; margin: 0 0 0.5em 30px}
/* We default all margins/paddings to 0 */
* { margin: 0; padding: 0 }
a { text-decoration: none }
#content-text a { text-decoration: underline }
#content-text a:hover { text-decoration: none }
p {
font-weight: 400;
margin-bottom: 16px;
}
h2 {
font-weight: 500;
margin: 3rem 0 0.8rem 0;
}
h3 {
font-weight: 500;
margin: 1.5rem 0 1.5rem 0;
}
pre {
margin: 1rem 0 1rem 0
}
#main-container {
padding: 0;
font-family: "Roboto", "Helvetica Neue", Helvetica, Arial, sans-serif;
font-feature-settings: "kern", "liga";
width: 100%;
background-color: white;
}
hr {
height: 1px;
margin: 3rem 0 3rem 0;
clear: both;
}
#header, #footer {
width: 100%;
clear: both;
}
#header {
padding: 0.5em 0 0.5em 0em;
}
#menu {
background-color: #ddd;
padding: 1em
}
#content {
display:flex;
}
#menu {
flex: 15;
min-width: 15%;
padding: 2em
}
#main {
flex: 85;
min-width: 0;
}
#main h1 {
padding-bottom: 1em;
}
pre {
overflow: scroll;
min-width: 0
}
#footer {
padding: 0.5em 0;
text-align: center;
color: white;
font-size: smaller;
}
#footer a {
font-style: italic;
color: white;
text-decoration: underline;
}
#navigation {
float: right;
padding-right: 2em;
}
#navigation li {
display: block;
width: 100px;
float: right;
padding-top: 0.2em;
text-align: center;
font-weight: bold;
font-size: smaller;
}
#navigation li a{
color: white
}
#navigation li a:hover{
text-decoration: underline;
}
#motto {
text-align: center;
font-style: italic;
font-size: 1.1em;
margin: 2em auto 2em auto;
}
#demo{
font-size: smaller;
margin: 2em auto 2em auto;
border-radius: 1em;
display: table;
overflow: scroll;
}
#kc-pros {
display: flex;
flex-flow: row wrap;
margin: 0 auto;
width: 60%;
}
#kc-pros > div {
flex-basis: 50%;
}
#kc-pros h2 {
font-size: 1.2em;
line-height: 1.2em;
padding: 0 5% 0.3em 5%;
}
#kc-pros p {
font-size: 0.9em;
padding: 0 5% 2em 5%;
}
#get {
display: table;
border: 1px solid black;
padding: 0.5em 2em;
border-radius: 0.8em;
clear: both;
margin: 3em auto 5em auto;
background-color: #0594cb;
color: white;
text-align: center;
}
#get:active {
background-color: #002036;
}
.navig {
display: flex;
flex-flow: row wrap;
margin: 0 auto;
}
.navig > a {
flex-basis: 50%;
text-align: center;
background-color: #eee;
padding: 0.4em 0;
font-size: smaller
}
#content-text {
padding: 2em;
}
#main ul {
margin: 1em 0 2em 3em;
}