Update website

public/static/style/base.css

@@ -22,6 +22,7 @@
 	}
 }
 
+
 .hide-big {
 	display: none;
 }
@@ -31,6 +32,7 @@
 	--colour-bg: #f0f0f0;
 	--colour-bg-main: #ddd;
 	--colour-bg-code: #ccc;
+	--colour-bg-highlight: #f9f890;
 	--colour-fg: #000000;
 	--colour-fg-highlight: #7f0602;
 	--colour-fg-lineno: #111;
@@ -45,6 +47,7 @@
 		--colour-bg: #101010;
 		--colour-bg-main: #333;
 		--colour-bg-code: #222;
+		--colour-bg-highlight: #727000;
 		--colour-fg: #ffffff;
 		--colour-fg-highlight: #fc918d;
 		--colour-fg-lineno: #ccc;
@@ -71,6 +74,12 @@ body > section.header-navigation {
 	padding: 2em;
 }
 
+@media (pointer: coarse) {
+	body > section.header-navigation li {
+		padding: 0.25em 0;
+	}
+}
+
 body > footer {
 	flex: 0 0 200px;
 	padding: 2em;
@@ -81,7 +90,6 @@ body > section.header-navigation > header {
 	text-align: center;
 }
 
-
 body > section.header-navigation > header > img {
 	width: 100%;
 	max-width: 160px;
@@ -176,6 +184,10 @@ dl.project-platforms-technologies {
 	border-bottom: 1px dotted var(--colour-fg);
 }
 
+dt + dd.tag {
+	margin-left: 40px;
+}
+
 .tag {
 	display: inline-block;
 	background-color: #ccc;
@@ -266,3 +278,39 @@ a:hover {
 	color: var(--colour-fg);
 	text-decoration: underline solid;
 }
+
+@media print {
+	body {
+		background-color: initial;
+		flex-direction: column;
+	}
+	body > section.header-navigation {
+		display: none;
+	}
+	
+	body > main {
+		max-width: 100%;
+		background-color: initial;
+		border: none;
+	}
+	
+	div.sourceCode, .screenshots, figure {
+		background-color: initial;
+	}
+	
+	.hide-big {
+		display: block !important;
+	}
+	.hide-small {
+		display: none !important;
+	}
+	
+	a:after {
+		content: ' (' attr(href) ')';
+	}
+	
+	.numberSource a:after {
+		content: ''
+	}
+	
+}

public/static/style/highlight.css

@@ -60,3 +60,4 @@ code span.st { color: var(--colour-fg-code-string); } /* String */
 code span.va { color: #19177c; } /* Variable */
 code span.vs { color: #4070a0; } /* VerbatimString */
 code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */
+code span:target { background-color: var(--colour-bg-highlight); }

public/static/style/highlightDark.css

@@ -0,0 +1,62 @@
+pre > code.sourceCode { white-space: pre; position: relative; }
+pre > code.sourceCode > span { display: inline-block; line-height: 1.25; }
+pre > code.sourceCode > span:empty { height: 1.2em; }
+code.sourceCode > span { color: inherit; text-decoration: inherit; }
+div.sourceCode { margin: 1em 0; }
+pre.sourceCode { margin: 0; }
+@media screen {
+div.sourceCode { overflow: auto; }
+}
+@media print {
+pre > code.sourceCode { white-space: pre-wrap; }
+pre > code.sourceCode > span { text-indent: -5em; padding-left: 5em; }
+}
+pre.numberSource code
+{ counter-reset: source-line 0; }
+pre.numberSource code > span
+{ position: relative; left: -4em; counter-increment: source-line; }
+pre.numberSource code > span > a:first-child::before
+{ content: counter(source-line);
+position: relative; left: -1em; text-align: right; vertical-align: baseline;
+border: none; display: inline-block;
+-webkit-touch-callout: none; -webkit-user-select: none;
+-khtml-user-select: none; -moz-user-select: none;
+-ms-user-select: none; user-select: none;
+padding: 0 4px; width: 4em;
+color: #000000;
+}
+pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa;  padding-left: 4px; }
+div.sourceCode
+{   }
+@media screen {
+pre > code.sourceCode > span > a:first-child::before { text-decoration: underline; }
+}
+code span.al { color: #ff0000; font-weight: bold; } /* Alert */
+code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */
+code span.at { color: #7d9029; } /* Attribute */
+code span.bn { color: #40a070; } /* BaseN */
+code span.bu { } /* BuiltIn */
+code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */
+code span.ch { color: #4070a0; } /* Char */
+code span.cn { color: #880000; } /* Constant */
+code span.co { color: #60a0b0; font-style: italic; } /* Comment */
+code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */
+code span.do { color: #ba2121; font-style: italic; } /* Documentation */
+code span.dt { color: #902000; } /* DataType */
+code span.dv { color: #40a070; } /* DecVal */
+code span.er { color: #ff0000; font-weight: bold; } /* Error */
+code span.ex { } /* Extension */
+code span.fl { color: #40a070; } /* Float */
+code span.fu { color: #06287e; } /* Function */
+code span.im { } /* Import */
+code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */
+code span.kw { color: #007020; font-weight: bold; } /* Keyword */
+code span.op { color: #666666; } /* Operator */
+code span.ot { color: #007020; } /* Other */
+code span.pp { color: #bc7a00; } /* Preprocessor */
+code span.sc { color: #4070a0; } /* SpecialChar */
+code span.ss { color: #bb6688; } /* SpecialString */
+code span.st { color: #4070a0; } /* String */
+code span.va { color: #19177c; } /* Variable */
+code span.vs { color: #4070a0; } /* VerbatimString */
+code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */

public/static/style/old.css

@@ -4,21 +4,32 @@ body {
 	justify-content: flex-start;
 }
 
+header {
+	border-bottom: solid 40px;
+	border-image: url(old/flames.gif) 0 0 200 0 round round;
+}
+
+footer {
+	border-top: solid 40px;
+	border-image: url(old/flames.gif) 200 0 0 round round;
+}
+
 a:hover {
 	cursor: url(old/cursor-over.gif), auto;
 }
 
-body > nav {
-	background-color: yellow;
+.header-navigation {
+	background-color: cyan;
+	color: black;
 }
 
-body > nav ul {
+.header-navigation> nav ul {
 	padding-left: 2em;
 	list-style-image: url(old/bullet.gif);
 }
 
-body > main {
-	background-color: black;
+body main {
+	background-color: green;
 	color: white;
 	border-image: url(old/skull-border.gif) 33% / 2em round;
 	/*border-left-width: 10px !important;
@@ -27,7 +38,7 @@ body > main {
 
 .title {
 	width: 100%;
-	background-color: green;
+	color: orange;
 }
 
 pre {
@@ -35,7 +46,7 @@ pre {
 }
 
 blockquote, .screenshots, code{
-	background: #0000ff;
+	background: darkgreen;
 	border-left: #0000cc 6px solid;
 }