A webui/index.html => webui/index.html +115 -0
@@ 0,0 1,115 @@
+<!doctype html>
+<html lang="en">
+ <head>
+ <!-- Required meta tags -->
+ <meta charset="utf-8">
+ <meta name="viewport" content="width=device-width, initial-scale=1">
+ <link href="static/normalize.css" rel="stylesheet" type="text/css">
+ <link href="static/main.css" rel="stylesheet" type="text/css">
+ <title>Hello, world!</title>
+ </head>
+ <body>
+ <div id="babelia-background">
+ <video autoplay loop poster="static/video/poster.jpeg">
+ <source src="static/video/space.mp4" type="video/mp4"/>
+ <source src="static/video/space.webm" type="video/webm"/>
+ </video>
+ </div>
+
+ <div id="babelia-overlay">
+ </div>
+
+ <div id="babelia-root">
+ <div id="babelia-intro">
+ <p>🚀 Welcome to <a href="https://babelia.hyper.dev">babelia.hyper.dev</a>. This software is a <b>work-in-progress</b>, use it at your own risk!️</p>
+ </div>
+
+ <div class="babelia-convo babelia-bot">
+ <p>
+ 🤖 Hello, I am Babelia, a computer program dedicated to ease
+ your (re)search journey, and possibly stire human progress
+ forward!
+ </p>
+ <p>
+ Please submit a query in the following <i>mighty</i> input box.
+ </p>
+ </div>
+
+ <div class="babelia-convo babelia-monkey">
+ <p>
+ 🐒 Register an account
+ </p>
+ </div>
+
+ <div class="babelia-convo babelia-bot">
+ <p>
+ 🤖 Stellar! What is your favorite nickname?
+ </p>
+ </div>
+
+ <div class="babelia-convo babelia-monkey">
+ <p>
+ 🐒 aneglux
+ </p>
+ </div>
+
+ <div class="babelia-convo">
+ <p>
+ 🤖 Input a secure new password in the following box.
+ </p>
+ </div>
+
+ <form method="POST" action="/" class="babelia-input babelia-convo">
+ <input type="password" name="password" placeholder="Secure password?!"/>
+ <input type="submit" value="submit"/>
+ </form>
+
+ <div class="babelia-convo">
+ <p>
+ 🤖 I guess it will do. Repeat the password in the next box.
+ </p>
+ </div>
+
+ <form method="POST" action="/" class="babelia-input babelia-convo">
+ <input type="password" name="confirmation" placeholder="Same secure password?!"/>
+ <input type="submit" value="submit"/>
+ </form>
+
+ <div class="babelia-convo babelia-bot">
+ <p>
+ 🤖 Great! You are now registered and logged in. Next time, type <code>`login`</code>,
+ to resume your session.
+ </p>
+ <p>
+ Please submit a query in the following <i>mighty</i> input box.
+ </p>
+ </div>
+
+ <div class="babelia-convo babelia-monkey">
+ <p>
+ 🐒 hyper dev scheme
+ </p>
+ </div>
+
+ <div class="babelia-convo babelia-bot">
+ <p>
+ 🤖 re <code>`hyper dev scheme`</code>; there is a page entitled <a href="https://hyper.dev">hyper.dev · forward & beyond</a>, the first few lines are: <i>Chaos: The Last Question Codex: Dubito, ergo Cogito, ergo Sum (import (okdb)) NLnet supports Babelia Versioned generic tuple store 2 An open letter to Mez Breeze okvslite mutation: review & rework of mutmut</i>.
+ </p>
+ <p>
+ Type <code>`next`</code> to get the following result, or issue another query.
+ </p>
+ </div>
+
+ <form method="POST" action="/" class="babelia-input babelia-convo">
+ <input type="text" name="query" placeholder="What are you up to?..."/>
+ <input type="submit" value="submit"/>
+ </form>
+
+ </div>
+
+ <script src="static/biwaschema.js">
+ (load "static/main.scm")
+ </script>
+
+ </body>
+</html>
A webui/static/EBGaramond12-Regular.ttf => webui/static/EBGaramond12-Regular.ttf +0 -0
A webui/static/main.css => webui/static/main.css +101 -0
@@ 0,0 1,101 @@
+/* flexbox cheatsheet: https://bit.ly/1xEYMhF */
+
+/* universal box sizing with inheritance */
+/* https://css-tricks.com/box-sizing/ */
+
+html {
+ -webkit-box-sizing: border-box;
+ -moz-box-sizing: border-box;
+ box-sizing: border-box;
+}
+
+*, *:before, *:after {
+ -webkit-box-sizing: inherit;
+ -moz-box-sizing: inherit;
+ box-sizing: inherit;
+}
+
+
+/* BASICS */
+
+body {
+ color: hsla(0, 0%, 80%, 1);
+ font-family: monospace;
+ font-size: 18px;
+ margin: 0px;
+ padding: 50px;
+}
+
+a:link, a:active, a:visited {
+ color: hsla(196, 100%, 30%);
+}
+
+a:hover {
+ color: hsla(196, 100%, 40%);
+}
+
+/* BACKGROUND & OVERLAY */
+
+#babelia-background video {
+ position: fixed;
+ top: 50%;
+ left: 50%;
+ min-width: 100%;
+ min-height: 100%;
+ width: auto;
+ height: auto;
+ z-index: -100;
+ transform: translateX(-50%) translateY(-50%);
+ background: url(video/poster.jpeg) no-repeat;
+ background-size: cover;
+}
+
+@media screen and (max-device-width: 800px) {
+ body { background: url(video/poster.jpeg) #000 no-repeat center center fixed;}
+ #babelia-background { display: none; }
+}
+
+#babelia-overlay {
+ position: fixed;
+ top: 50%;
+ left: 50%;
+ min-width: 100%;
+ min-height: 100%;
+ width: auto;
+ height: auto;
+ z-index: -99;
+ transform: translateX(-50%) translateY(-50%);
+ background: url(video/overlay.png);
+}
+
+/* ROOT */
+
+#babelia-root > * {
+ margin: auto;
+ max-width: 888px;
+ padding: 10px 30px;
+ background-color: hsla(0, 0%, 0%, 0.7);
+ border: 1px solid hsla(196, 100%, 15%);
+ box-shadow: 0px 0px 5px hsla(196, 100%, 15%), 0px 0px 2px hsla(0, 0%, 100%, 0.5) inset;
+ margin-bottom: 15px;
+ line-height: 1.6em;
+}
+
+.babelia-input {
+ padding: 0px;
+ display: flex;
+}
+
+.babelia-input > input {
+ padding: 28px 30px;
+ background: transparent;
+ border: none;
+}
+
+.babelia-input > input[type="text"], .babelia-input > input[type="password"] {
+ flex: 1;
+}
+
+.babelia-input > input[type="submit"] {
+ background: hsla(0, 0%, 100%, 0.05) ;
+}
A webui/static/normalize.css => webui/static/normalize.css +427 -0
@@ 0,0 1,427 @@
+/*! normalize.css v3.0.2 | MIT License | git.io/normalize */
+
+/**
+ * 1. Set default font family to sans-serif.
+ * 2. Prevent iOS text size adjust after orientation change, without disabling
+ * user zoom.
+ */
+
+html {
+ font-family: sans-serif; /* 1 */
+ -ms-text-size-adjust: 100%; /* 2 */
+ -webkit-text-size-adjust: 100%; /* 2 */
+}
+
+/**
+ * Remove default margin.
+ */
+
+body {
+ margin: 0;
+}
+
+/* HTML5 display definitions
+ ========================================================================== */
+
+/**
+ * Correct `block` display not defined for any HTML5 element in IE 8/9.
+ * Correct `block` display not defined for `details` or `summary` in IE 10/11
+ * and Firefox.
+ * Correct `block` display not defined for `main` in IE 11.
+ */
+
+article,
+aside,
+details,
+figcaption,
+figure,
+footer,
+header,
+hgroup,
+main,
+menu,
+nav,
+section,
+summary {
+ display: block;
+}
+
+/**
+ * 1. Correct `inline-block` display not defined in IE 8/9.
+ * 2. Normalize vertical alignment of `progress` in Chrome, Firefox, and Opera.
+ */
+
+audio,
+canvas,
+progress,
+video {
+ display: inline-block; /* 1 */
+ vertical-align: baseline; /* 2 */
+}
+
+/**
+ * Prevent modern browsers from displaying `audio` without controls.
+ * Remove excess height in iOS 5 devices.
+ */
+
+audio:not([controls]) {
+ display: none;
+ height: 0;
+}
+
+/**
+ * Address `[hidden]` styling not present in IE 8/9/10.
+ * Hide the `template` element in IE 8/9/11, Safari, and Firefox < 22.
+ */
+
+[hidden],
+template {
+ display: none;
+}
+
+/* Links
+ ========================================================================== */
+
+/**
+ * Remove the gray background color from active links in IE 10.
+ */
+
+a {
+ background-color: transparent;
+}
+
+/**
+ * Improve readability when focused and also mouse hovered in all browsers.
+ */
+
+a:active,
+a:hover {
+ outline: 0;
+}
+
+/* Text-level semantics
+ ========================================================================== */
+
+/**
+ * Address styling not present in IE 8/9/10/11, Safari, and Chrome.
+ */
+
+abbr[title] {
+ border-bottom: 1px dotted;
+}
+
+/**
+ * Address style set to `bolder` in Firefox 4+, Safari, and Chrome.
+ */
+
+b,
+strong {
+ font-weight: bold;
+}
+
+/**
+ * Address styling not present in Safari and Chrome.
+ */
+
+dfn {
+ font-style: italic;
+}
+
+/**
+ * Address variable `h1` font-size and margin within `section` and `article`
+ * contexts in Firefox 4+, Safari, and Chrome.
+ */
+
+h1 {
+ font-size: 2em;
+ margin: 0.67em 0;
+}
+
+/**
+ * Address styling not present in IE 8/9.
+ */
+
+mark {
+ background: #ff0;
+ color: #000;
+}
+
+/**
+ * Address inconsistent and variable font size in all browsers.
+ */
+
+small {
+ font-size: 80%;
+}
+
+/**
+ * Prevent `sub` and `sup` affecting `line-height` in all browsers.
+ */
+
+sub,
+sup {
+ font-size: 75%;
+ line-height: 0;
+ position: relative;
+ vertical-align: baseline;
+}
+
+sup {
+ top: -0.5em;
+}
+
+sub {
+ bottom: -0.25em;
+}
+
+/* Embedded content
+ ========================================================================== */
+
+/**
+ * Remove border when inside `a` element in IE 8/9/10.
+ */
+
+img {
+ border: 0;
+}
+
+/**
+ * Correct overflow not hidden in IE 9/10/11.
+ */
+
+svg:not(:root) {
+ overflow: hidden;
+}
+
+/* Grouping content
+ ========================================================================== */
+
+/**
+ * Address margin not present in IE 8/9 and Safari.
+ */
+
+figure {
+ margin: 1em 40px;
+}
+
+/**
+ * Address differences between Firefox and other browsers.
+ */
+
+hr {
+ -moz-box-sizing: content-box;
+ box-sizing: content-box;
+ height: 0;
+}
+
+/**
+ * Contain overflow in all browsers.
+ */
+
+pre {
+ overflow: auto;
+}
+
+/**
+ * Address odd `em`-unit font size rendering in all browsers.
+ */
+
+code,
+kbd,
+pre,
+samp {
+ font-family: monospace, monospace;
+ font-size: 1em;
+}
+
+/* Forms
+ ========================================================================== */
+
+/**
+ * Known limitation: by default, Chrome and Safari on OS X allow very limited
+ * styling of `select`, unless a `border` property is set.
+ */
+
+/**
+ * 1. Correct color not being inherited.
+ * Known issue: affects color of disabled elements.
+ * 2. Correct font properties not being inherited.
+ * 3. Address margins set differently in Firefox 4+, Safari, and Chrome.
+ */
+
+button,
+input,
+optgroup,
+select,
+textarea {
+ color: inherit; /* 1 */
+ font: inherit; /* 2 */
+ margin: 0; /* 3 */
+}
+
+/**
+ * Address `overflow` set to `hidden` in IE 8/9/10/11.
+ */
+
+button {
+ overflow: visible;
+}
+
+/**
+ * Address inconsistent `text-transform` inheritance for `button` and `select`.
+ * All other form control elements do not inherit `text-transform` values.
+ * Correct `button` style inheritance in Firefox, IE 8/9/10/11, and Opera.
+ * Correct `select` style inheritance in Firefox.
+ */
+
+button,
+select {
+ text-transform: none;
+}
+
+/**
+ * 1. Avoid the WebKit bug in Android 4.0.* where (2) destroys native `audio`
+ * and `video` controls.
+ * 2. Correct inability to style clickable `input` types in iOS.
+ * 3. Improve usability and consistency of cursor style between image-type
+ * `input` and others.
+ */
+
+button,
+html input[type="button"], /* 1 */
+input[type="reset"],
+input[type="submit"] {
+ -webkit-appearance: button; /* 2 */
+ cursor: pointer; /* 3 */
+}
+
+/**
+ * Re-set default cursor for disabled elements.
+ */
+
+button[disabled],
+html input[disabled] {
+ cursor: default;
+}
+
+/**
+ * Remove inner padding and border in Firefox 4+.
+ */
+
+button::-moz-focus-inner,
+input::-moz-focus-inner {
+ border: 0;
+ padding: 0;
+}
+
+/**
+ * Address Firefox 4+ setting `line-height` on `input` using `!important` in
+ * the UA stylesheet.
+ */
+
+input {
+ line-height: normal;
+}
+
+/**
+ * It's recommended that you don't attempt to style these elements.
+ * Firefox's implementation doesn't respect box-sizing, padding, or width.
+ *
+ * 1. Address box sizing set to `content-box` in IE 8/9/10.
+ * 2. Remove excess padding in IE 8/9/10.
+ */
+
+input[type="checkbox"],
+input[type="radio"] {
+ box-sizing: border-box; /* 1 */
+ padding: 0; /* 2 */
+}
+
+/**
+ * Fix the cursor style for Chrome's increment/decrement buttons. For certain
+ * `font-size` values of the `input`, it causes the cursor style of the
+ * decrement button to change from `default` to `text`.
+ */
+
+input[type="number"]::-webkit-inner-spin-button,
+input[type="number"]::-webkit-outer-spin-button {
+ height: auto;
+}
+
+/**
+ * 1. Address `appearance` set to `searchfield` in Safari and Chrome.
+ * 2. Address `box-sizing` set to `border-box` in Safari and Chrome
+ * (include `-moz` to future-proof).
+ */
+
+input[type="search"] {
+ -webkit-appearance: textfield; /* 1 */
+ -moz-box-sizing: content-box;
+ -webkit-box-sizing: content-box; /* 2 */
+ box-sizing: content-box;
+}
+
+/**
+ * Remove inner padding and search cancel button in Safari and Chrome on OS X.
+ * Safari (but not Chrome) clips the cancel button when the search input has
+ * padding (and `textfield` appearance).
+ */
+
+input[type="search"]::-webkit-search-cancel-button,
+input[type="search"]::-webkit-search-decoration {
+ -webkit-appearance: none;
+}
+
+/**
+ * Define consistent border, margin, and padding.
+ */
+
+fieldset {
+ border: 1px solid #c0c0c0;
+ margin: 0 2px;
+ padding: 0.35em 0.625em 0.75em;
+}
+
+/**
+ * 1. Correct `color` not being inherited in IE 8/9/10/11.
+ * 2. Remove padding so people aren't caught out if they zero out fieldsets.
+ */
+
+legend {
+ border: 0; /* 1 */
+ padding: 0; /* 2 */
+}
+
+/**
+ * Remove default vertical scrollbar in IE 8/9/10/11.
+ */
+
+textarea {
+ overflow: auto;
+}
+
+/**
+ * Don't inherit the `font-weight` (applied by a rule above).
+ * NOTE: the default cannot safely be changed in Chrome and Safari on OS X.
+ */
+
+optgroup {
+ font-weight: bold;
+}
+
+/* Tables
+ ========================================================================== */
+
+/**
+ * Remove most spacing between table cells.
+ */
+
+table {
+ border-collapse: collapse;
+ border-spacing: 0;
+}
+
+td,
+th {
+ padding: 0;
+}
A webui/static/overlay-video-dark.png => webui/static/overlay-video-dark.png +0 -0
A webui/static/video/LICENSE => webui/static/video/LICENSE +1 -0
A webui/static/video/original.mp4 => webui/static/video/original.mp4 +0 -0
A webui/static/video/overlay.png => webui/static/video/overlay.png +0 -0
A webui/static/video/poster.jpeg => webui/static/video/poster.jpeg +0 -0
A webui/static/video/space.mp4 => webui/static/video/space.mp4 +0 -0
A webui/static/video/space.webm => webui/static/video/space.webm +0 -0
