comparison static/css/styles.css @ 394:26e528281d00

added DejaVuSans in front of every Helvetica, because helvetica is a bitmap font on linux → https://bitbucket.org/segv/hg-website/issue/8/use-dejavusans-too-instead-of-just .
author Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
date Mon, 11 Feb 2013 12:44:38 +0100
parents 5dc640877bb8
children 8c86fcab8178
comparison
equal deleted inserted replaced
393:5dc640877bb8 394:26e528281d00
50 } 50 }
51 51
52 /* 52 /*
53 * Forms 53 * Forms
54 */ 54 */
55 input, textarea, select { font-family: Helvetica, Arial, sans-serif; font-size: .8571em; vertical-align: top; } 55 input, textarea, select { font-family: DejaVuSans, Helvetica, Arial, sans-serif; font-size: .8571em; vertical-align: top; }
56 textarea { overflow: auto; width: 220px; height: 90px; } 56 textarea { overflow: auto; width: 220px; height: 90px; }
57 form ol { margin: 0; } 57 form ol { margin: 0; }
58 form ol li { list-style: none; margin: 0 0 10px 0; display: inline-block; overflow: hidden; } 58 form ol li { list-style: none; margin: 0 0 10px 0; display: inline-block; overflow: hidden; }
59 form ol li { display: block; } 59 form ol li { display: block; }
60 label { float: left; width: 100px; padding-right: 10px; text-align: right; } 60 label { float: left; width: 100px; padding-right: 10px; text-align: right; }
100 #logo a { display: block; width: 184px; height: 61px; background: url(../images/mercurial-logo.png) no-repeat 0 0; text-indent: -9999px; } 100 #logo a { display: block; width: 184px; height: 61px; background: url(../images/mercurial-logo.png) no-repeat 0 0; text-indent: -9999px; }
101 101
102 /* 102 /*
103 * Nav 103 * Nav
104 */ 104 */
105 #nav { position: absolute; top: 17px; right: 0; background: #999; height: 42px; margin: 0; width: 725px; font-size: 1em; *font-size: 16px; line-height: 42px; font-family: Optimer, Helvetica, Arial, sans-serif; overflow: hidden; } 105 #nav { position: absolute; top: 17px; right: 0; background: #999; height: 42px; margin: 0; width: 725px; font-size: 1em; *font-size: 16px; line-height: 42px; font-family: Optimer, DejaVuSans, Helvetica, Arial, sans-serif; overflow: hidden; }
106 #nav li { float: left; margin: 0; padding: 0; list-style: none; } 106 #nav li { float: left; margin: 0; padding: 0; list-style: none; }
107 #nav a { float: left; color: #fff; text-decoration: none; padding: 0 16px; *padding: 0 14px; } 107 #nav a { float: left; color: #fff; text-decoration: none; padding: 0 16px; *padding: 0 14px; }
108 #nav a:hover, #nav a:focus, #nav .active a { background: #00b5f1; } 108 #nav a:hover, #nav a:focus, #nav .active a { background: #00b5f1; }
109 109
110 /* 110 /*
126 126
127 /* 127 /*
128 * Homepage 128 * Homepage
129 */ 129 */
130 #home #logo { margin-bottom: 0 !important; } 130 #home #logo { margin-bottom: 0 !important; }
131 #home dl { margin: 0 30px; font-family: Verdana, Helvetica, Arial, sans-serif; font-size: .80em; line-height: 1.4em; } 131 #home dl { margin: 0 30px; font-family: Verdana, DejaVuSans, Helvetica, Arial, sans-serif; font-size: .80em; line-height: 1.4em; }
132 #home h1 { font-size: 48px; line-height: 1em; margin: 0 0 20px 0; font-weight: normal; } 132 #home h1 { font-size: 48px; line-height: 1em; margin: 0 0 20px 0; font-weight: normal; }
133 #home h2, #home h3 { font-size: 22px; line-height: 1.2em; margin-bottom: 20px; font-weight: normal; } 133 #home h2, #home h3 { font-size: 22px; line-height: 1.2em; margin-bottom: 20px; font-weight: normal; }
134 #home h4 { font-weight: normal; margin: 0; } 134 #home h4 { font-weight: normal; margin: 0; }
135 #home h4 a { text-decoration: none; } 135 #home h4 a { text-decoration: none; }
136 #home h4 a:hover, #home h4 a:focus { text-decoration: underline; } 136 #home h4 a:hover, #home h4 a:focus { text-decoration: underline; }
142 #home ol a:hover { text-decoration: underline; } 142 #home ol a:hover { text-decoration: underline; }
143 143
144 /* 144 /*
145 * Footer 145 * Footer
146 */ 146 */
147 #footer { font-family: Verdana, Helvetica, Arial, sans-serif; font-size: .6428em; display: inline-block; overflow: hidden; text-align: right; padding: 10px 25px; } 147 #footer { font-family: Verdana, DejaVuSans, Helvetica, Arial, sans-serif; font-size: .6428em; display: inline-block; overflow: hidden; text-align: right; padding: 10px 25px; }
148 #footer { display: block; } 148 #footer { display: block; }
149 #footer div { float: left; } 149 #footer div { float: left; }
150 #footer a { text-decoration: none; } 150 #footer a { text-decoration: none; }
151 151
152 /* 152 /*