language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 21:39:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Restyle search key shortcut

Browse source
This commit is contained in:
Richard Feldman 2022-10-23 13:19:46 -04:00
parent a4ed5a582d
commit c15a1dde22
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 15 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/docs/src/static/index.html
View file

@ -15,7 +15,7 @@
<body> <body>
<nav id="sidebar-nav"> <nav id="sidebar-nav">
<input id="module-search" aria-labelledby="search-link" type="text" placeholder="Search" /> <input id="module-search" aria-labelledby="search-link" type="text" placeholder="Search" />
<label for="module-search" id="search-link"><span id="search-link-text">Search</span> <span id="search-link-hint">(shortcut: S)</span></label> <label for="module-search" id="search-link"><span id="search-link-text">Search</span> <span id="search-link-hint">(press <span id="search-shortcut-key">s</span>)</span></label>
<div class="module-links"> <div class="module-links">
<!-- Module links --> <!-- Module links -->
</div> </div>

16
crates/docs/src/static/styles.css
View file

@ -451,9 +451,17 @@ pre {
} }
#search-link-hint { #search-link-hint {
font-style: italic;
margin-left: 1em; margin-left: 1em;
opacity: 0.7; opacity: 0.6;
}
#search-shortcut-key {
font-family: monospace;
border: 1px solid #666;
padding: 1px 3px 3px;
font-style: normal;
border-radius: 4px;
line-height: 15px;
} }
@media (prefers-color-scheme: dark) { @media (prefers-color-scheme: dark) {
@ -480,6 +488,10 @@ pre {
} }
@media only screen and (max-device-width: 480px) and (orientation: portrait) { @media only screen and (max-device-width: 480px) and (orientation: portrait) {
#search-link-hint {
display: none;
}
.search-button { .search-button {
display: block; /* This is only visible in mobile. */ display: block; /* This is only visible in mobile. */
} }