blob: b69903c34e5d2c274e17da35bf2f642fca2e24bb (
plain) (
tree)
|
|
/* @group Search box layout */
#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%;
margin: 0;
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;
}
/* @end */
/* @group search results */
#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;
}
/* @end */
/* @group Keyboard shortcuts table */
.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 */
|