comparison doc/style_print.css @ 1155:eff68aeb4647

Fix up links and various enhancements.
author zas_
date Mon, 17 Nov 2008 18:05:42 +0000
parents 8ebeab4d6987
children
comparison
equal deleted inserted replaced
1154:8ebeab4d6987 1155:eff68aeb4647
1 body { 1 body {
2 background: white; 2 background: transparent;
3 font-size: 12pt; 3 font-size: 12pt;
4 } 4 }
5 5
6 div.navtop { 6 div.navtop {
7 display: none; 7 display: none;
9 9
10 div.navbottom { 10 div.navbottom {
11 display: none; 11 display: none;
12 } 12 }
13 13
14 a:link, a:visited { 14 a {
15 color: #520; 15 color: black;
16 background: transparent; 16 background: transparent;
17 font-weight: bold;
18 text-decoration: underline; 17 text-decoration: underline;
18 }
19
20 a.bottomnote {
21 text-decoration: none;
22 }
23
24 a.bottomnote:link:after, a.bottomnote:visited:after {
25 text-decoration: none;
26 content: "";
19 } 27 }
20 28
21 a:link:after, a:visited:after { 29 a:link:after, a:visited:after {
22 content: " (" attr(href) ") "; 30 content: " (" attr(href) ") ";
23 font-size: 90%; 31 font-size: 90%;
24 } 32 }
33
25 34
26 /* 35 /*
27 a[href^="/"]:after { 36 a[href^="/"]:after {
28 content: " (http://www.example.com" attr(href) ") "; 37 content: " (http://www.example.com" attr(href) ") ";
29 } 38 }
30 */ 39 */
31 40
32 h1 { 41 h1 {
33 background: white; 42 background: transparent;
34 border-bottom: 1px dotted gray; 43 border-bottom: 1px dotted gray;
35 } 44 }
36 45
37 h2 { 46 h2 {
38 background: white; 47 background: transparent;
39 border-bottom: 1px dotted gray; 48 border-bottom: 1px dotted gray;
40 } 49 }
41 50
42 h3 { 51 h3 {
43 background: white; 52 background: transparent;
44 border-bottom: 1px dotted gray; 53 border-bottom: 1px dotted gray;
45 } 54 }
46 55
47 .dialog_desc dt { 56 .dialog_desc dt {
48 border: 1px dotted gray; 57 border: 1px dotted gray;