From e7de04494b70ca62ac1abda7f9a3ef41994f4f51 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@open-infrastructure.net>
Date: Thu, 14 Oct 2021 16:59:23 +0200
Subject: Adding web-tools (WIP).

Signed-off-by: Daniel Baumann <daniel.baumann@open-infrastructure.net>
---
 web-tools/web/_static/local/body.css   |  8 ++++++++
 web-tools/web/_static/local/font.css   | 23 +++++++++++++++++++++++
 web-tools/web/_static/local/footer.css |  9 +++++++++
 web-tools/web/_static/local/table.js   |  4 ++++
 4 files changed, 44 insertions(+)
 create mode 100644 web-tools/web/_static/local/body.css
 create mode 100644 web-tools/web/_static/local/font.css
 create mode 100644 web-tools/web/_static/local/footer.css
 create mode 100644 web-tools/web/_static/local/table.js

(limited to 'web-tools/web/_static/local')

diff --git a/web-tools/web/_static/local/body.css b/web-tools/web/_static/local/body.css
new file mode 100644
index 0000000..050a4c1
--- /dev/null
+++ b/web-tools/web/_static/local/body.css
@@ -0,0 +1,8 @@
+body {
+  padding-top: 5rem;
+}
+
+.content {
+  padding-top: 2.5rem;
+  padding-bottom: 5rem;
+}
diff --git a/web-tools/web/_static/local/font.css b/web-tools/web/_static/local/font.css
new file mode 100644
index 0000000..4c9b109
--- /dev/null
+++ b/web-tools/web/_static/local/font.css
@@ -0,0 +1,23 @@
+a.a-hover-red {
+  color: inherit;
+}
+
+a.a-hover-red:hover {
+  color: #cc0000 !important;
+  text-decoration: none;
+}
+
+html,
+body,
+.tooltip,
+.popover {
+  font-family: 'DejaVuSans';
+}
+
+pre,
+code,
+kbd,
+samp,
+.text-monospace {
+  font-family: 'DejaVuSansMono';
+}
diff --git a/web-tools/web/_static/local/footer.css b/web-tools/web/_static/local/footer.css
new file mode 100644
index 0000000..a604ff4
--- /dev/null
+++ b/web-tools/web/_static/local/footer.css
@@ -0,0 +1,9 @@
+body {
+  padding-bottom: 0;
+}
+
+.footer {
+  padding: 2.5rem 0;
+  color: #999;
+  background-color: #212529;
+}
diff --git a/web-tools/web/_static/local/table.js b/web-tools/web/_static/local/table.js
new file mode 100644
index 0000000..469f3b7
--- /dev/null
+++ b/web-tools/web/_static/local/table.js
@@ -0,0 +1,4 @@
+$(function() {
+  $("thead").addClass("thead-dark");
+  $("table").addClass("table table-striped table-bordered table-hover table-sm table-responsive");
+});
-- 
cgit v1.2.3