From e3c672f4648997dbe00624e09c63c990a8ea3596 Mon Sep 17 00:00:00 2001
From: pdp8 <pdp8@pdp8.info>
Date: Mon, 22 Aug 2022 00:52:15 +0200
Subject: audio and video rendering, Fork-Awesome-1.2.0 included

---
 .../doc/assets/less/bootstrap-3.3.5/jumbotron.less | 51 ++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 snippets/Fork-Awesome-1.2.0/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less

(limited to 'snippets/Fork-Awesome-1.2.0/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less')

diff --git a/snippets/Fork-Awesome-1.2.0/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less b/snippets/Fork-Awesome-1.2.0/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less
new file mode 100644
index 0000000..970852d
--- /dev/null
+++ b/snippets/Fork-Awesome-1.2.0/src/doc/assets/less/bootstrap-3.3.5/jumbotron.less
@@ -0,0 +1,51 @@
+//
+// Jumbotron
+// --------------------------------------------------
+
+
+.jumbotron {
+  padding-top:    @jumbotron-padding;
+  padding-bottom: @jumbotron-padding;
+  margin-bottom: @jumbotron-padding;
+  color: @jumbotron-color;
+  background-color: @jumbotron-bg;
+
+  h1,
+  .h1 {
+    color: @jumbotron-heading-color;
+  }
+
+  p {
+    margin-bottom: (@jumbotron-padding / 2);
+    font-size: @jumbotron-font-size;
+  }
+
+  > hr {
+    border-top-color: darken(@jumbotron-bg, 10%);
+  }
+
+  .container &,
+  .container-fluid & {
+    border-radius: @border-radius-large; // Only round corners at higher resolutions if contained in a container
+  }
+
+  .container {
+    max-width: 100%;
+  }
+
+  @media screen and (min-width: @screen-sm-min) {
+    padding-top:    (@jumbotron-padding * 1.6);
+    padding-bottom: (@jumbotron-padding * 1.6);
+
+    .container &,
+    .container-fluid & {
+      padding-left:  (@jumbotron-padding * 2);
+      padding-right: (@jumbotron-padding * 2);
+    }
+
+    h1,
+    .h1 {
+      font-size: @jumbotron-heading-font-size;
+    }
+  }
+}
-- 
cgit v1.2.3