mirror of
https://github.com/documize/community.git
synced 2025-07-25 08:09:43 +02:00
new search options and schema
This commit is contained in:
parent
6c3042fd4e
commit
2c5f73a486
14 changed files with 283 additions and 118 deletions
|
@ -5,6 +5,10 @@
|
|||
}
|
||||
}
|
||||
|
||||
.examples {
|
||||
color: $color-gray;
|
||||
}
|
||||
|
||||
.search-results {
|
||||
> .heading {
|
||||
font-size: 2rem;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue