Deploying to gh-pages from @ 7547042 🚀

voodoos · Feb 4, 2024 · e9ce948 · e9ce948
1 parent f126890
commit e9ce948
Show file tree

Hide file tree

Showing 11 changed files with 9,167 additions and 0 deletions.
diff --git a/app.css b/app.css
@@ -0,0 +1,39 @@
+html,
+body {
+    height: 100%;
+    margin: 0;
+    padding: 0;
+}
+
+#main-layout {
+    display: grid;
+
+    box-sizing: border-box;
+
+    grid-template-columns: 2fr 1fr;
+    grid-template-rows: 5rem 1fr 2rem 1rem;
+
+    gap: 1.5rem;
+    padding: 1.5rem;
+
+    justify-items: stretch;
+    align-items: stretch;
+
+    width: 100%;
+    height: 100%;
+}
+
+#main-layout .item-list {
+    display: flex;
+    flex-direction: column;
+}
+
+#main-layout .player-wrapper {
+    display: flex;
+    width: 100%;
+}
+
+
+#main-layout .player-wrapper audio {
+    border-radius: 0.5rem;
+}
diff --git a/cd-50.png b/cd-50.png
diff --git a/db_worker.bc.js b/db_worker.bc.js
diff --git a/dune b/dune
@@ -0,0 +1,13 @@
+(alias
+ (name default)
+ (deps main.bc.js db_worker.bc.js index.html))
+
+(copy_files
+ (mode
+  (promote (until-clean)))
+ (files ../bin/main.bc.js))
+
+(copy_files
+ (mode
+  (promote (until-clean)))
+ (files ../bin/db_worker/db_worker.bc.js))
diff --git a/error-globe-64.png b/error-globe-64.png
diff --git a/favicon.ico b/favicon.ico
diff --git a/index.html b/index.html
@@ -0,0 +1,15 @@
+<!DOCTYPE html>
+<html>
+
+<head>
+	<title>OCAMIX</title>
+	<link rel="stylesheet" href="./main.css">
+	<link rel="stylesheet" href="./theme.css">
+	<link rel="stylesheet" href="./app.css">
+</head>
+
+<body>
+	<script src="main.bc.js"></script>
+</body>
+
+</html>
diff --git a/main.bc.js b/main.bc.js
diff --git a/main.css b/main.css
@@ -0,0 +1,112 @@
+@import url('https://fonts.googleapis.com/css2?family=Bungee+Spice&display=swap');
+
+body {
+    font-family: 'Bungee Spice', sans-serif;
+
+}
+
+.on {
+    background-color: red;
+}
+
+/* Ham menu */
+.hover-menu {
+    /* Required for absolute positionning of child */
+    /* position: relative; */
+}
+
+
+.hover-menu menu {
+    visibility: collapse;
+    position: absolute;
+    translate: -50%;
+    opacity: 0;
+    transition: all 125ms;
+}
+
+
+.hover-menu:hover menu,
+.hover-menu.active menu {
+    visibility: visible;
+    opacity: 1;
+}
+
+/* Draggable table */
+/* todo: borders should be in theme */
+.draggable-table {
+    display: inline-grid;
+}
+
+.draggable-table>div {
+    display: grid;
+    grid-template-columns: subgrid;
+    grid-column: 1/-1;
+}
+
+.draggable-table .hover-top {
+    box-shadow: 0px 200px 15px -200px rgba(255, 200, 0, 1) inset;
+}
+
+.draggable-table .hover-bottom {
+    box-shadow: 0px -200px 15px -200px rgba(255, 200, 0, 1) inset;
+}
+
+
+.lazy-table-wrapper {
+    width: 100%;
+    height: 100%;
+    border-radius: 0.5rem;
+    overflow: hidden;
+}
+
+.lazy-table {
+    display: inline-grid;
+    box-sizing: border-box;
+    width: 100%;
+    height: 100%;
+    overflow-x: hidden;
+    overflow-y: auto;
+    background-color: rgb(207, 207, 207);
+    position: relative;
+}
+
+.lazy-table div {
+    box-sizing: border-box;
+}
+
+.lazy-table>div {
+    display: grid;
+    grid-template-columns: subgrid;
+    grid-column: 1/-1;
+    padding: 0.5rem;
+    font-size: 1.2rem;
+    background-color: rgb(207, 207, 207);
+    position: absolute;
+    overflow: hidden;
+}
+
+.lazy-table>div>div {
+    display: flex;
+    flex-direction: column;
+    justify-content: center;
+}
+
+.lazy-table>div:first-child {
+    position: sticky;
+    top: -1px;
+    /* Without that slight offset there is some glitching happening in firefox */
+    z-index: 10;
+}
+
+.lazy-table>div:first-child>div {
+    text-align: center;
+}
+
+.lazy-table span {
+    vertical-align: middle;
+}
+
+audio {
+
+    width: 100%;
+}
diff --git a/music-50.png b/music-50.png
diff --git a/theme.css b/theme.css
@@ -0,0 +1,29 @@
+body {
+    background-color: #2c2f32;
+}
+
+.draggable-table {
+    border-bottom: solid black 1px;
+}
+
+.draggable-table>div {
+    user-select: none;
+    cursor: grab;
+    border-top: solid black 1px;
+    border-left: solid black 1px;
+    box-shadow: 0px 1px 0px 0px #000000
+}
+
+body.dragging .draggable-table>div {
+    cursor: grabbing;
+
+}
+
+.draggable-table>div>div {
+    padding: 4px;
+    border-right: solid black 1px;
+}
+
+.lazy-table, .lazy-table>div {
+    background-color: #3c4146;
+}