mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
5258f6b84b
- rename shared_images to shared/images - move some files to shared/ (or subfolders) in both lrm and ug: - adapt to use new shared locations - copy some shared files in setup step - configure new search template and custom css in conf.py
21 lines
510 B
CSS
21 lines
510 B
CSS
|
|
/* Search result title for an entire page */
|
|
.pagefind-ui__result-title {
|
|
font-size: 20px;
|
|
margin-top: 50px;
|
|
}
|
|
|
|
/* Search result title for a hit under a header. Indented and less emphasized than for a page */
|
|
.pagefind-ui__result-nested > .pagefind-ui__result-title {
|
|
font-size: 18px;
|
|
margin-top: 20px;
|
|
}
|
|
.pagefind-ui__result-nested {
|
|
margin-left: 30px;
|
|
}
|
|
|
|
/* Search result excerpt, further indented from the search result title */
|
|
.pagefind-ui__result-excerpt {
|
|
margin-left: 10px;
|
|
}
|