add planet pandoc template

Fixes: da012d103e520dc003a8d56c32414641beaa8e10

2 files changed, 316 insertions, 0 deletions

diff --git a/Info/9/3/Planet/.gitignore b/Info/9/3/Planet/.gitignore
index e9ac88a1..89b66212 100644
--- a/Info/9/3/Planet/.gitignore
+++ b/Info/9/3/Planet/.gitignore
@@ -1,5 +1,6 @@
 plots/
 *.html
+!planet-mebis-page-template.html
 *.pdf
 *.log
 *.aux
diff --git a/Info/9/3/Planet/planet-mebis-page-template.html b/Info/9/3/Planet/planet-mebis-page-template.html
new file mode 100644
index 00000000..79150c3f
--- /dev/null
+++ b/Info/9/3/Planet/planet-mebis-page-template.html
@@ -0,0 +1,315 @@
+<!doctype html>
+<html lang="de">
+<head>
+<style>
+@media (max-width: 600px) {
+  body {
+    font-size: 0.9em;
+    padding: 12px;
+  }
+  h1 {
+    font-size: 1.8em;
+  }
+}
+@media print {
+  html {
+    background-color: white;
+  }
+  body {
+    background-color: transparent;
+    color: black;
+    font-size: 12pt;
+  }
+  .terminal {
+    display: none;
+  }
+  .merke-content {
+    visibility: hidden;
+    font-size: 14pt;
+  }
+  ::-webkit-scrollbar { display: none; }
+  .page-break { break-after: page; }
+  .no-print { display:none; }
+
+  div.completion-info {
+    display: none;
+  }
+}
+
+body {
+  max-width: 80%;
+  margin: 0 auto;
+  hyphens: auto;
+  overflow-wrap: break-word;
+  text-rendering: optimizeLegibility;
+  font-kerning: normal;
+}
+p {
+  margin: 1em 0;
+}
+a {
+  color: #1a1a1a;
+}
+a:visited {
+  color: #1a1a1a;
+}
+img {
+  max-width: 100%;
+}
+svg {
+  height: auto;
+  max-width: 100%;
+}
+h1, h2, h3, h4, h5, h6 {
+  margin-top: 1.4em;
+  margin-bottom: -0.5em;
+}
+h5, h6 {
+  font-size: 1em;
+  font-style: italic;
+}
+h6 {
+  font-weight: normal;
+}
+ol, ul {
+  padding-left: 1.7em;
+  margin-top: 1em;
+}
+li > ol, li > ul {
+  margin-top: 0;
+}
+blockquote {
+  margin: 1em 0 1em 1.7em;
+  padding-left: 1em;
+  border-left: 2px solid #e6e6e6;
+  color: #606060;
+}
+code {
+  font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
+  font-size: 85%;
+  margin: 0;
+  hyphens: manual;
+}
+pre {
+  margin: 1em 0;
+  overflow: visible;
+}
+pre code {
+  padding: 0;
+  overflow: visible;
+  overflow-wrap: normal;
+}
+.sourceCode {
+ background-color: transparent;
+ overflow: visible;
+}
+hr {
+  background-color: #1a1a1a;
+  border: none;
+  height: 1px;
+  margin: 1em 0;
+}
+table {
+  margin: 1em 0;
+  overflow-x: auto;
+  display: table;
+  font-variant-numeric: lining-nums tabular-nums;
+}
+thead {
+  border-bottom: solid
+}
+table caption {
+  margin-bottom: 0.75em;
+}
+tbody {
+  margin-top: 0.5em;
+  border-top: 1px solid #1a1a1a;
+  border-bottom: 1px solid #1a1a1a;
+}
+th {
+  border-top: 1px solid #1a1a1a;
+  padding: 0.25em 0.5em 0.25em 0.5em;
+}
+td {
+  padding: 0.125em 0.5em 0.25em 0.5em;
+}
+header {
+  margin-bottom: 4em;
+  text-align: center;
+}
+code{white-space: pre-wrap;}
+span.smallcaps{font-variant: small-caps;}
+div.columns{display: flex; gap: min(4vw, 1.5em);}
+div.column{flex: auto; overflow-x: auto;}
+div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
+/* The extra [class] is a hack that increases specificity enough to
+   override a similar rule in reveal.js */
+ul.task-list[class]{list-style: none;}
+ul.task-list li input[type="checkbox"] {
+  font-size: inherit;
+  width: 0.8em;
+  margin: 0 0.8em 0.2em -1.6em;
+  vertical-align: middle;
+}
+.display.math{display: block; text-align: center; margin: 0.5rem auto;}
+html { -webkit-text-size-adjust: 100%; }
+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; }
+.sourceCode { overflow: visible; }
+code.sourceCode > span { color: inherit; text-decoration: inherit; }
+div.sourceCode { margin: 1em 0; }
+pre.sourceCode { margin: 0; }
+@media screen {
+div.sourceCode { overflow: visible; }
+}
+@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: #aaaaaa;
+}
+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; } 
+code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } 
+code span.at { color: #7d9029; } 
+code span.bn { color: #40a070; } 
+code span.bu { color: #008000; } 
+code span.cf { color: #007020; font-weight: bold; } 
+code span.ch { color: #4070a0; } 
+code span.cn { color: #880000; } 
+code span.co { color: #60a0b0; font-style: italic; } 
+code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } 
+code span.do { color: #ba2121; font-style: italic; } 
+code span.dt { color: #902000; } 
+code span.dv { color: #40a070; } 
+code span.er { color: #ff0000; font-weight: bold; } 
+code span.ex { } 
+code span.fl { color: #40a070; } 
+code span.fu { color: #06287e; } 
+code span.im { color: #008000; font-weight: bold; } 
+code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } 
+code span.kw { color: #007020; font-weight: bold; } 
+code span.op { color: #666666; } 
+code span.ot { color: #007020; } 
+code span.pp { color: #bc7a00; } 
+code span.sc { color: #4070a0; } 
+code span.ss { color: #bb6688; } 
+code span.st { color: #4070a0; } 
+code span.va { color: #19177c; } 
+code span.vs { color: #4070a0; } 
+code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } 
+
+.terminal {
+  border: 3px solid #c8c8c8;
+  border-radius: 8px;
+  border-radius: 25px;
+  background-color: black;
+  background-image: radial-gradient(
+    rgba(0, 150, 0, 0.75), black 120%
+  );
+  margin: 2em;
+  padding: 0.8rem 2rem 1rem;
+  color: white;
+  font: 1.1rem Inconsolata, monospace;
+  text-shadow: 0 0 5px #C8C8C8;
+  &::after {
+    content: "";
+    position: absolute;
+    top: 0;
+    left: 0;
+    width: 100vw;
+    height: 100vh;
+    background: repeating-linear-gradient(
+      0deg,
+      rgba(black, 0.15),
+      rgba(black, 0.15) 1px,
+      transparent 1px,
+      transparent 2px
+    );
+    pointer-events: none;
+  }
+}
+
+.terminal > p:first-child {
+  margin: 0 0;
+}
+
+::selection {
+  background: #0080FF;
+  text-shadow: none;
+}
+.oide-login {
+  font: 1.3rem Inconsolata, monospace;
+}
+.tipp {
+  padding-left: 1.25rem;
+  padding-right: 1.25rem;
+  border: 2px solid darkgray;
+  border-radius: 8px;
+}
+.merke {
+  margin-top: 1.5rem;
+  padding-left: 1.25rem;
+  padding-right: 1.25rem;
+  border: 2px solid orange;
+  border-radius: 8px;
+  position: relative;
+}
+.merke::before {
+  content: attr(data-class);
+  position: absolute;
+  top: -0.8em;
+  padding: 0 10px;
+  border: 2px solid orange;
+  border-radius: 8px;
+  background: orange;
+}
+.aufgabe {
+  margin-top: 1.5rem;
+  padding-left: 1.25rem;
+  padding-right: 1.25rem;
+  border: 2px solid magenta;
+  border-radius: 8px;
+  position: relative;
+}
+.aufgabe::before {
+  content: attr(data-class);
+  position: absolute;
+  top: -0.8em;
+  padding: 0 10px;
+  border: 2px solid magenta;
+  border-radius: 8px;
+  background: magenta;
+}
+</style>
+</head>
+<body>
+$for(include-before)$
+$include-before$
+$endfor$
+
+$body$
+
+$for(include-after)$
+$include-after$
+$endfor$
+</body>
+</html>