Hibernate
/
hibernate-orm
mirror of https://github.com/hibernate/hibernate-orm
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

use Noto Serif consistently in documentation 

the combination of a serif body font with
sans serif headings just wasn't working for me
This commit is contained in:
Gavin 2023-05-16 20:14:43 +02:00
parent 03352d4857
commit 362922512a
1 changed files with 16 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
documentation/src/main/style/asciidoctor/css/hibernate-layout.css
View File

@ -11,14 +11,15 @@ body:before {
#header { #header {
width: 1000px !important; width: 1000px !important;
} }
.sidebarblock>.content>.title,h4,h5,h6{ .sidebarblock>.content>.title,h4,h5,h6 {
font-family: 'Noto Serif', "Open Sans", "DejaVu Sans", sans-serif !important;
font-size: 1.3em !important; font-size: 1.3em !important;
margin-top:0em !important; margin-top:0em !important;
margin-bottom:1em !important; margin-bottom:1em !important;
line-height:1.0125em !important line-height:1.0125em !important
} }
#toctitle>.content>.title,h4,h5,h6{ #toctitle>.content>.title,h4,h5,h6 {
font-family:"Open Sans","DejaVu Sans",sans-serif !important; font-family: 'Noto Serif', "Open Sans", "DejaVu Sans", sans-serif !important;
font-weight:300 !important; font-weight:300 !important;
font-style:normal !important; font-style:normal !important;
font-size: 1.3em !important; font-size: 1.3em !important;
@ -48,7 +49,7 @@ h1{
font-size: 1.9em !important; font-size: 1.9em !important;
color:#182737 !important; color:#182737 !important;
line-height: 1.2 !important; line-height: 1.2 !important;
font-family:'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important; font-family: 'Noto Serif', 'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important;
font-weight: bold !important; font-weight: bold !important;
text-align: justify !important; text-align: justify !important;
text-decoration: none !important; text-decoration: none !important;
@ -59,15 +60,14 @@ h1{
line-height:1em !important; line-height:1em !important;
padding-top: 2em !important; padding-top: 2em !important;
} }
h2{ h2 {
font-weight: bold !important; font-weight: bold !important;
font-size: 1.7em !important; font-size: 1.7em !important;
line-height: 3em !important; line-height: 2em !important;
font-family:'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important; font-family: 'Noto Serif', 'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important;
color:#4a5d75 !important; color:#4a5d75 !important;
margin-top:3em !important; margin-top: 2em !important;
margin-bottom:1em !important; margin-bottom: 0.5em !important;
line-height:1.6em !important;
background-position: bottom !important; background-position: bottom !important;
background-repeat: repeat-x !important; background-repeat: repeat-x !important;
background-size: 75px; background-size: 75px;
@ -75,19 +75,20 @@ h2{
height: 60px !important; height: 60px !important;
} }
h3 { h3 {
font-weight: bold !important;
text-decoration: none !important; text-decoration: none !important;
color:#4a5d75 !important; color:#4a5d75 !important;
font-family:'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important; font-family: 'Noto Serif', 'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important;
font-size: 1.4em !important; font-size: 1.4em !important;
margin-top:1em !important; margin-top: 1.4em !important;
margin-bottom:.5em !important; margin-bottom: 1.0em !important;
line-height:1.0125em !important line-height:1.0125em !important
} }
h4,h5,h6{ h4,h5,h6{
font-size:1.125em !important; font-size:1.125em !important;
text-decoration: none !important; text-decoration: none !important;
color:#4a5d75 !important; color:#4a5d75 !important;
font-family:'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important font-family: 'Noto Serif', 'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important
} }
.admonitionblock{ .admonitionblock{
background-color: antiquewhite !important; background-color: antiquewhite !important;
@ -197,7 +198,7 @@ ul {
padding-top: .5em; padding-top: .5em;
font-weight: lighter !important; font-weight: lighter !important;
color:#4a5d75 !important; color:#4a5d75 !important;
font-family:'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important; font-family: 'Noto Serif', 'Lucida Grande', Geneva, Verdana, Arial, sans-serif !important;
font-size: 1em !important; font-size: 1em !important;
} }
em,i{ em,i{