comparison src/bzip2-1.0.6/bzip.css @ 89:8a15ff55d9af

Add bzip2, zlib, liblo, portaudio sources
author Chris Cannam <cannam@all-day-breakfast.com>
date Wed, 20 Mar 2013 13:59:52 +0000
parents
children
comparison
equal deleted inserted replaced
88:fe7c3a0b0259 89:8a15ff55d9af
1 /* Colours:
2 #74240f dark brown h1, h2, h3, h4
3 #336699 medium blue links
4 #339999 turquoise link hover colour
5 #202020 almost black general text
6 #761596 purple md5sum text
7 #626262 dark gray pre border
8 #eeeeee very light gray pre background
9 #f2f2f9 very light blue nav table background
10 #3366cc medium blue nav table border
11 */
12
13 a, a:link, a:visited, a:active { color: #336699; }
14 a:hover { color: #339999; }
15
16 body { font: 80%/126% sans-serif; }
17 h1, h2, h3, h4 { color: #74240f; }
18
19 dt { color: #336699; font-weight: bold }
20 dd {
21 margin-left: 1.5em;
22 padding-bottom: 0.8em;
23 }
24
25 /* -- ruler -- */
26 div.hr_blue {
27 height: 3px;
28 background:#ffffff url("/images/hr_blue.png") repeat-x; }
29 div.hr_blue hr { display:none; }
30
31 /* release styles */
32 #release p { margin-top: 0.4em; }
33 #release .md5sum { color: #761596; }
34
35
36 /* ------ styles for docs|manuals|howto ------ */
37 /* -- lists -- */
38 ul {
39 margin: 0px 4px 16px 16px;
40 padding: 0px;
41 list-style: url("/images/li-blue.png");
42 }
43 ul li {
44 margin-bottom: 10px;
45 }
46 ul ul {
47 list-style-type: none;
48 list-style-image: none;
49 margin-left: 0px;
50 }
51
52 /* header / footer nav tables */
53 table.nav {
54 border: solid 1px #3366cc;
55 background: #f2f2f9;
56 background-color: #f2f2f9;
57 margin-bottom: 0.5em;
58 }
59 /* don't have underlined links in chunked nav menus */
60 table.nav a { text-decoration: none; }
61 table.nav a:hover { text-decoration: underline; }
62 table.nav td { font-size: 85%; }
63
64 code, tt, pre { font-size: 120%; }
65 code, tt { color: #761596; }
66
67 div.literallayout, pre.programlisting, pre.screen {
68 color: #000000;
69 padding: 0.5em;
70 background: #eeeeee;
71 border: 1px solid #626262;
72 background-color: #eeeeee;
73 margin: 4px 0px 4px 0px;
74 }