Deploying to gh-pages from @ 9ff1928 🚀

xproc · Jul 31, 2024 · b4f15d6 · b4f15d6
1 parent 45291b1
commit b4f15d6
Show file tree

Hide file tree

Showing 6 changed files with 6,400 additions and 0 deletions.
diff --git a/dashboard/css/style.css b/dashboard/css/style.css
@@ -0,0 +1,94 @@
+/* Styling for the dashboard page */
+
+@media screen {
+    @import url("https://fonts.googleapis.com/css?family=B612+Mono&display=swap");
+    @import url("https://fonts.googleapis.com/css?family=Noto+Sans&display=swap");
+    @import url("https://fonts.googleapis.com/css?family=Noto+Serif&display=swap");
+}
+
+:root {
+    --symbol-fonts: "Arial Unicode", "Apple Symbols", "Symbol", "Symbola_hint";
+    --body-family: "Noto Serif", serif, var(--symbol-fonts);
+    --title-family: "Noto Sans", sans-serif, var(--symbol-fonts);
+    --mono-family: "B612 Mono", monospace, var(--symbol-fonts);
+
+    --background-color: #f8f8f8;
+    --foreground-color: #000000;
+    --faded-color: #7f7f7f;
+
+    max-width: 50rem;
+    font-size: 14pt;
+    line-height: 1.2;
+    background-color: var(--background-color);
+    color: var(--foreground-color);
+}
+
+html {
+    padding: 0;
+    margin-top: 0;
+    margin-bottom: 0;
+    margin-left: auto;
+    margin-right: auto;
+    font-family: var(--body-family);
+    height: 100%;
+    width: 100%;
+    line-height: 1.25rem;
+    font-size: 16pt;
+    max-width: 50rem;
+    min-height: 100%;
+}
+
+.nojs .warning {
+    display: block;
+    background-color: #ffaaaa;
+}
+
+.js .warning {
+    display: none;
+}
+
+h1, h2, h3, h4, h5, h6 {
+    font-family: var(--title-family);
+    font-weight: 600;
+    font-style: normal;
+}
+
+a, a:visited, a:link {
+    color: #034575;
+}
+
+h2 {
+    color: #6481c7;
+    border-bottom: 2px solid #6481c7;
+}
+
+.branch, .pull-request {
+    padding-left: 2rem;
+    padding-bottom: 0.25rem;
+    margin-bottom: 1rem;
+}
+
+.pull-request p,
+.pull-request > div {
+    padding-left: 2rem;
+}
+
+ul.changed-files {
+    font-family: var(--mono-family);
+}
+
+li {
+    padding-bottom: 0.25rem;
+}
+
+@media screen and (max-width: 600px) {
+    .branch, .pull-request {
+        padding-left: 0.5rem;
+    }
+
+    .pull-request p,
+    .pull-request > div {
+        padding-left: 0.5rem;
+    }
+}
+
diff --git a/dashboard/index.html b/dashboard/index.html
@@ -0,0 +1,38 @@
+<!DOCTYPE html>
+<html xmlns="http://www.w3.org/1999/xhtml" class="nojs">
+<head>
+<meta charset='UTF-8' />
+<meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1" />
+<title>XProc Dashboard</title>
+<link rel="stylesheet" href="css/style.css" />
+<script type="text/javascript" src="js/saxon-js/SaxonJS2.rt.js"></script>
+<script src="js/start.js"></script>
+</head>
+<body>
+<h1>XProc Dashboard</h1>
+
+<p>This page summarizes the branches and pull requests on the XProc
+<a href="https://github.com/xproc/3.0-specification">specification</a>
+and <a href="https://github.com/xproc/3.0-steps">step</a> repositories.</p>
+
+<div class="warning">
+<p>This page is constructed dynamically with JavaScript; it doesn’t
+work if JavaScript is unavailable.</p>
+</div>
+
+<section class="community" x-name="xproc">
+<section class="repository" x-name="3.0-specification">
+<h2>Specification Repository</h2>
+<div class="pull-requests">Loading pull requests…</div>
+<div class="branches">Loading branches…</div>
+</section>
+
+<section class="repository" x-name="3.0-steps">
+<h2>Step Libraries Repository</h2>
+<div class="pull-requests">Loading pull requests…</div>
+<div class="branches">Loading branches…</div>
+</section>
+</section>
+
+</body>
+</html>