HHH-12026 Setting correct font family for search input in TOC. Fixing a typo

This commit is contained in:
marko-bekhta 2017-10-11 13:57:57 +02:00 committed by Vlad Mihalcea
parent 8de0f9e2a1
commit b51dac6e39
2 changed files with 4 additions and 1 deletions

View File

@ -40,6 +40,9 @@ body:before {
font-weight: bold !important;
font-size: 1.3em !important;
}
#toc>#tocsearch {
font-family: "FontAwesome";
}
.subheader .title,.audioblock>.title,.exampleblock>.title,.imageblock>.title,.listingblock>.title,.literalblock>.title,.stemblock>.title,.openblock>.title,.paragraph>.title,.quoteblock>.title,table.tableblock>.title,.verseblock>.title,.videoblock>.title,.dlist>.title,.olist>.title,.ulist>.title,.qlist>.title,.hdlist>.title{
color:darkslategray;
}

View File

@ -14,7 +14,7 @@ import static java.lang.annotation.ElementType.METHOD;
import static java.lang.annotation.RetentionPolicy.RUNTIME;
/**
* Collection sort (in-memory sorting). Different that ordering, which is applied during the SQL select.
* Collection sort (in-memory sorting). Different than ordering, which is applied during the SQL select.
*
* @author Emmanuel Bernard
*