annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
1 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
2 * Reset
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
3 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
4 body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,form,fieldset,input,textarea,p,blockquote,th,td { margin: 0; padding: 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
5 fieldset, img { border: none; vertical-align: middle; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
6 hr { display: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
7
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
8 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
9 * Margins
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
10 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
11 p, ul, ol, dl, table { margin: 0 0 1em 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
12
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
13 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
14 * Hyperlinks
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
15 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
16 a { color: #00b5f1; text-decoration: underline; overflow: hidden; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
17 a:hover, a:focus { text-decoration: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
18
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
19 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
20 * General Document Settings
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
21 */
393
5dc640877bb8 Added DejaVuSans to the fonts (bug #8: https://bitbucket.org/segv/hg-website/issue/8/use-dejavusans-too-instead-of-just )
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 392
diff changeset
22 body { font: .975em/1.4285em "Helvetica Neue", DejaVuSans, Helvetica, Verdana, Arial, sans-serif; color: #111; background-color: #fff; width: 900px; margin: 0 auto; position: relative; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
23
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
24 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
25 * Headings
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
26 */
393
5dc640877bb8 Added DejaVuSans to the fonts (bug #8: https://bitbucket.org/segv/hg-website/issue/8/use-dejavusans-too-instead-of-just )
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 392
diff changeset
27 h1, h2, h3 { font-size: 1em; font-family: Optimer, DejaVuSans, Helvetica, Arial, sans-serif; margin: 0 0 .5em 0; font-weight: normal; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
28 h4, h5, h6 { font-size: 1em; margin: 0 0 .5em 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
29 h1 { font-size: 2em; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
30 h2 { font-size: 1.6em; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
31 h3 { font-size: 1.3em; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
32
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
33 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
34 * Lists
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
35 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
36 ul { margin-left: 2.2em; line-height: 1.5em; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
37 li ul, li ol { margin-top: 0; margin-bottom: 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
38 li { margin: .3em 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
39 ol { margin-left: 2.2em; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
40 ol li { list-style-type: decimal; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
41 ol li ol li { list-style-type: lower-alpha; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
42 ol li ol li ol li { list-style-type: upper-roman; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
43
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
44 dt { font-weight: bold; margin-top: 10px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
45 dt em { font-style: normal; display: block; font-weight: normal; }
347
871e9821b5b9 remove python requirement from main page, moving to downloads page
David Champion <dgc@uchicago.edu>
parents: 310
diff changeset
46 dd em { font-style: normal; font-weight: bolder; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
47 dd { background: url(../images/bullet.gif) no-repeat 10px .5em; padding-left: 20px; }
363
e1830acad2a7 Make sure that we have space between multiple dl's
David Soria Parra <dsp@php.net>
parents: 355
diff changeset
48 dl {
e1830acad2a7 Make sure that we have space between multiple dl's
David Soria Parra <dsp@php.net>
parents: 355
diff changeset
49 padding-bottom: 1em;
e1830acad2a7 Make sure that we have space between multiple dl's
David Soria Parra <dsp@php.net>
parents: 355
diff changeset
50 }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
51
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
52 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
53 * Forms
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
54 */
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 .
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 393
diff changeset
55 input, textarea, select { font-family: DejaVuSans, Helvetica, Arial, sans-serif; font-size: .8571em; vertical-align: top; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
56 textarea { overflow: auto; width: 220px; height: 90px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
57 form ol { margin: 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
58 form ol li { list-style: none; margin: 0 0 10px 0; display: inline-block; overflow: hidden; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
59 form ol li { display: block; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
60 label { float: left; width: 100px; padding-right: 10px; text-align: right; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
61 .submit { margin-left: 110px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
62
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
63 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
64 * Table
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
65 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
66 table { border-collapse: separate; border-spacing: 0; font-size: 90% }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
67 caption, th, td { text-align: left; font-weight: normal; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
68 td, th { padding: 6px 8px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
69 .latest thead td, .latest thead th { background: #00B5F1; color: #fff; font-weight: bold; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
70 thead td, thead th { background: #999; color: #fff; font-weight: bold; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
71 tbody td { border-bottom: 1px solid #ccc; }
350
987caba84824 downloads: highlight preferred options with <em>
David Champion <dgc@uchicago.edu>
parents: 347
diff changeset
72 tbody td em { font-style: normal; font-weight: bolder; }
355
e4d31654a9d3 downloads: put each available version into a separate table
David Champion <dgc@uchicago.edu>
parents: 350
diff changeset
73 tbody td:last-child { width: 5em; }
e4d31654a9d3 downloads: put each available version into a separate table
David Champion <dgc@uchicago.edu>
parents: 350
diff changeset
74
e4d31654a9d3 downloads: put each available version into a separate table
David Champion <dgc@uchicago.edu>
parents: 350
diff changeset
75 /*
e4d31654a9d3 downloads: put each available version into a separate table
David Champion <dgc@uchicago.edu>
parents: 350
diff changeset
76 * Table expansion
e4d31654a9d3 downloads: put each available version into a separate table
David Champion <dgc@uchicago.edu>
parents: 350
diff changeset
77 */
e4d31654a9d3 downloads: put each available version into a separate table
David Champion <dgc@uchicago.edu>
parents: 350
diff changeset
78 div #more { font-size: smaller; color: #999; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
79
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
80 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
81 * Quotes
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
82 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
83 blockquote:before, blockquote:after, q:before, q:after { content: ""; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
84 blockquote, q { quotes: "" ""; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
85
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
86 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
87 * Layout
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
88 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
89 .row { display: inline-block; overflow: hidden; border-bottom: 1px solid #ccc; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
90 .row { display: block; }
294
8e1d8d9ef5be Fix layout
David Soria Parra <dsp@php.net>
parents: 289
diff changeset
91 .col { float: right; display: inline; width: 295px; margin: 25px; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
92 .big { float: left; width: 470px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
93 .quote { float: right; width: 740px; text-align: right; margin-right: 25px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
94 .big h2 { margin-top: 20px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
95
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
96 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
97 * Logo
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
98 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
99 #logo { border-bottom: 1px solid #ccc; margin: 0 0 15px 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
100 #logo a { display: block; width: 184px; height: 61px; background: url(../images/mercurial-logo.png) no-repeat 0 0; text-indent: -9999px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
101
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
102 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
103 * Nav
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
104 */
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 .
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 393
diff changeset
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; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
106 #nav li { float: left; margin: 0; padding: 0; list-style: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
107 #nav a { float: left; color: #fff; text-decoration: none; padding: 0 16px; *padding: 0 14px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
108 #nav a:hover, #nav a:focus, #nav .active a { background: #00b5f1; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
109
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
110 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
111 * Search
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
112 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
113 #search { position: absolute; right: 15px; top: 26px; color: #fff; width: 183px; height: 23px; background: url(../images/search.png) no-repeat 0 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
114 #search legend { display: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
115 #search label { position: absolute; left: -9999px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
116 #search .text { width: 150px; background: none; border: none; margin: 0 0 0 5px; position: relative; top: 5px; color: #666; outline:0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
117 #search .submit { width: 23px; height: 23px; background: none; border: none; cursor: pointer; text-indent: -9999px; color: #10B8F0; *color: #fff; font-size: 1px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
118
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
119 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
120 * Download button
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
121 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
122 .download { display: block; width: 175px; height: 59px; padding: 14px 80px 14px 30px; background: #12baf2 url(../images/download.png) no-repeat 0 0; color: #fff; text-decoration: none; font-family: Verdana, Arial, sans-serif; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
123 .download strong { display: block; font-size: 1.2857em; margin-bottom: 4px; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
124 .download em { font-style: normal; font-weight: bold; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
125 .download span { display: block; font-size: .7142em; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
126
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
127 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
128 * Homepage
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
129 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
130 #home #logo { margin-bottom: 0 !important; }
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 .
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 393
diff changeset
131 #home dl { margin: 0 30px; font-family: Verdana, DejaVuSans, Helvetica, Arial, sans-serif; font-size: .80em; line-height: 1.4em; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
132 #home h1 { font-size: 48px; line-height: 1em; margin: 0 0 20px 0; font-weight: normal; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
133 #home h2, #home h3 { font-size: 22px; line-height: 1.2em; margin-bottom: 20px; font-weight: normal; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
134 #home h4 { font-weight: normal; margin: 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
135 #home h4 a { text-decoration: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
136 #home h4 a:hover, #home h4 a:focus { text-decoration: underline; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
137 #home ol { margin: 0; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
138 #home ol li { list-style: none; background: url(../images/bullet-big-1.png) no-repeat 0 0; padding-left: 60px; min-height: 43px; _height: 43px; margin-bottom: 1.7em }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
139 #home ol .i-2 { background-image: url(../images/bullet-big-2.png); }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
140 #home ol .i-3 { background-image: url(../images/bullet-big-3.png); }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
141 #home ol a { text-decoration: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
142 #home ol a:hover { text-decoration: underline; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
143
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
144 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
145 * Footer
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
146 */
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 .
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 393
diff changeset
147 #footer { font-family: Verdana, DejaVuSans, Helvetica, Arial, sans-serif; font-size: .6428em; display: inline-block; overflow: hidden; text-align: right; padding: 10px 25px; }
248
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
148 #footer { display: block; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
149 #footer div { float: left; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
150 #footer a { text-decoration: none; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
151
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
152 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
153 * Mercurial commands interspersed in text
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
154 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
155
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
156 #home hg { text-decoration: italic; }
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
157
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
158 /*
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
159 * Lists without big bullet type...
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
160 */
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
161
53a5e100b497 Convert the frontpage, except for the download button.
Steve Losh <steve@stevelosh.com>
parents:
diff changeset
162 #home .undecorated_list li { list-style:decimal outside; background: none; padding-left: 0px; min-height: 0px; margin-bottom: 1.7em} #home .undecorated_list li li { list-style: circle outside }
289
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
163
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
164 /*
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
165 * Notes
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
166 */
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
167 .note {
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
168 border-top: 1px #ccc solid;
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
169 border-bottom: 1px #ccc solid;
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
170 padding: 0.3em 1em;
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
171 margin: 0.2em 1em 1em;
392
4aef227e929c css: reduce font size of code (pre-tags) and use em instead of % for font-size (for consistency).
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 383
diff changeset
172 font-size: .90em;
289
a358ffb8aea5 style: add note style
David Soria Parra <dsp@php.net>
parents: 284
diff changeset
173 }
383
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
174
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
175 /*
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
176 * code and commands
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
177 */
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
178 pre, .output {
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
179 font-family:Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,serif;
392
4aef227e929c css: reduce font size of code (pre-tags) and use em instead of % for font-size (for consistency).
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 383
diff changeset
180 font-size: .90em;
383
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
181 }
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
182
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
183 .output {
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
184 border-left: 1px #ccc solid;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
185 border-right: 1px #ccc solid;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
186 background-color: #eee;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
187 margin: 0.2em 1em 1em;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
188 padding: 0.3em 1em;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
189 white-space: pre-wrap;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
190 }
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
191
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
192 .output:first-line {
392
4aef227e929c css: reduce font size of code (pre-tags) and use em instead of % for font-size (for consistency).
Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
parents: 383
diff changeset
193 font-size: .90em;
383
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
194 font-style: italic;
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
195 }
60fe705f6df0 css: added an output class for the command output display in the guide and updated the content.
Arne Babenhauserheide <bab@draketo.de>
parents: 363
diff changeset
196