aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Ocean.std-theme
diff options
context:
space:
mode:
authoralexbiehl <alex.biehl@gmail.com>2017-08-28 19:14:55 +0200
committeralexbiehl <alex.biehl@gmail.com>2017-08-28 19:14:55 +0200
commit1433e3bdc96fe6dc80e9dcb09661f9ba454c5a81 (patch)
treeba6f8daebccc248811c68643aaa2450cde84ea8a /haddock-api/resources/html/Ocean.std-theme
parent360b215a25c2d496565d96357dd7be6892ccf221 (diff)
Content search css
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
-rw-r--r--haddock-api/resources/html/Ocean.std-theme/ocean.css149
1 files changed, 149 insertions, 0 deletions
diff --git a/haddock-api/resources/html/Ocean.std-theme/ocean.css b/haddock-api/resources/html/Ocean.std-theme/ocean.css
index 8d3f91a9..0b18d6da 100644
--- a/haddock-api/resources/html/Ocean.std-theme/ocean.css
+++ b/haddock-api/resources/html/Ocean.std-theme/ocean.css
@@ -616,3 +616,152 @@ div#style-menu-holder {
}
/* @end */
+
+/* @group Search box */
+
+#search {
+ position: fixed;
+ top: 3.2em;
+ bottom: 0;
+ left: calc(50% - 22em);
+ width: 44em;
+ z-index: 1000;
+ pointer-events: none;
+}
+
+#search.hidden {
+ display: none;
+}
+
+#search-form, #search-results {
+ box-shadow: 2px 2px 6px rgb(199, 204, 208);
+ pointer-events: all;
+}
+
+#search-form input {
+ font-size: 1.25em; line-height: 2.3em; height: 2.4em;
+ display: block;
+ box-sizing: border-box;
+ width: 100%;
+ padding: 0 0.75em;
+ border: 0.05em solid rgb(151, 179, 202);
+}
+
+#search input:focus {
+ outline: none;
+}
+
+#search-results {
+ top: 3em;
+ max-height: calc(100% - 3em);
+ box-sizing: border-box;
+ border-width: 0 0.05em 0.05em;
+ border-style: solid;
+ border-color: #b2d5fb;
+ background: #e8f3ff;
+ overflow-y: auto;
+}
+
+#search-results > ul {
+ margin: 0;
+ list-style: none;
+}
+
+#search-results > ul > li,
+#search-results > p,
+#search-results > table {
+ padding: 0.5em 1em;
+ margin: 0;
+}
+
+#search-results > ul > li {
+ border-bottom: 1px solid #b2d5fb;
+}
+
+#search-results > ul > li > ul {
+ list-style: none;
+}
+
+.search-module h4 {
+ margin: 0;
+}
+
+.search-module > ul {
+ margin: 0.5em 0 0.5em 2em;
+}
+
+.search-module > ul > li > a[href] {
+ display: block;
+ color: inherit;
+ padding: 0.25em 0.5em;
+}
+
+.search-module > ul > li > a[href].active-link {
+ background: #faf9dc;
+}
+
+.search-module a[href]:hover {
+ text-decoration: none;
+}
+
+.search-result a a {
+ pointer-events: none;
+}
+
+.search-result ul.subs {
+ display: inline-block;
+ margin: 0; padding: 0;
+}
+
+.search-result ul.subs li {
+ display: none;
+}
+
+.search-result ul.subs::after {
+ display: inline-block;
+ content: "...";
+ color: rgb(78,98,114);
+ margin: 0 0.25em;
+}
+
+.more-results {
+ color: rgb(99, 141, 173);
+ position: relative;
+}
+
+.more-results::before {
+ content: "+";
+ display: inline-block;
+ color: #b2d5fb;
+ font-weight: bold;
+ font-size: 1.25em; line-height: inherit;
+ position: absolute;
+ left: -1em;
+}
+
+.keyboard-shortcuts {
+ line-height: 1.6em;
+}
+
+.keyboard-shortcuts th {
+ color: rgb(78,98,114);
+}
+
+.keyboard-shortcuts td:first-child,
+.keyboard-shortcuts th:first-child {
+ text-align: right;
+ padding-right: 0.6em;
+}
+
+.key {
+ display: inline-block;
+ font-size: 0.9em;
+ min-width: 0.8em; line-height: 1.2em;
+ text-align: center;
+ background: #b2d5fb;
+ border: 1px solid #74a3d6;
+ padding: 0 0.2em;
+ margin: 0 0.1em;
+}
+
+/* @end */