github/jooq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed Georgia font. Default to Times New Roman

Browse Source
This commit is contained in:
Lukas Eder 2011-09-24 08:06:40 +00:00
parent e45657bffa
commit 3ab64e1d22
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
jOOQ-website/css/jooq.css
View File

@ -17,7 +17,7 @@ body {
}
h1, h2, h3, h4, h5, h6 {
font-family: 'Georgia',Serif;
font-family: Georgia,"Times New Roman",Times,serif;
font-weight: normal;
color: #000000;
margin-top: 0.5em;
@ -66,7 +66,7 @@ p {
p.slogan {
padding-left: 2em;
color: #444;
font-family: 'Georgia',Serif;
font-family: Georgia,"Times New Roman",Times,serif;
height: 3em;
background: none repeat scroll 0 0 #ffffff;