/brz/remove-bazaar

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/brz/remove-bazaar

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: wang
  • Date: 2006-10-29 13:41:32 UTC
  • mto: (2104.4.1 wang_65714)
  • mto: This revision was merged to the branch mainline in revision 2109.
  • Revision ID: wang@ubuntu-20061029134132-3d7f4216f20c4aef
Replace python's difflib by patiencediff because the worst case 
performance is cubic for difflib and people commiting large data 
files are often hurt by this. The worst case performance of patience is 
quadratic. Fix bug 65714.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
/* from John Arbash Meinel's `Short tutorial' */
 
2
 
 
3
body {
 
4
  background-color: #ffffff;
 
5
  color: #303030;
 
6
  margin-top: 50px;
 
7
  margin-left: 50px;
 
8
  margin-right: 50px;
 
9
  margin-bottom: 70px;
 
10
  font-family: Verdana, Geneva, Arial, sans-serif;
 
11
  font-size: small;
 
12
  line-height: 180%
 
13
  }
 
14
 
 
15
/* p {
 
16
  text-indent: 3em
 
17
} */
 
18
 
 
19
h1, h2, h3 {
 
20
  font-family: Georgia, "Times New Roman", Times, serif;
 
21
}
 
22
 
 
23
h1.title {
 
24
  text-align: center;
 
25
  color: #000000;
 
26
  font-size: 1.8em;
 
27
  }
 
28
 
 
29
 
 
30
div.contents p {
 
31
  font-weight: bold;
 
32
  }
 
33
 
 
34
div.contents p a:hover {
 
35
  color: inherit;
 
36
  }
 
37
 
 
38
h1 {
 
39
  color: #b52b2b; 
 
40
  /* DKREDcolor: #966b72; */
 
41
  /* GREY color: #444444; */
 
42
  font-size: 1.5em;
 
43
  }
 
44
 
 
45
h1 a:link {
 
46
  color: inherit;
 
47
  }
 
48
  
 
49
h1 a:hover {
 
50
  color: inherit;
 
51
  }
 
52
 
 
53
h1 a:visited {
 
54
  color: inherit;
 
55
  }
 
56
 
 
57
h2 {
 
58
  color: #222;
 
59
  /* RED color: #966b72; */
 
60
  text-decoration: underline;
 
61
  font-size: 1.4em;
 
62
  }
 
63
 
 
64
h2 a:link {
 
65
  color: inherit;
 
66
  }
 
67
 
 
68
h2 a:hover {
 
69
  color: inherit;
 
70
  }
 
71
 
 
72
h2 a:visited {
 
73
  color: inherit;
 
74
  }
 
75
 
 
76
h3 {
 
77
  color: #966b72; 
 
78
  /* color: #966b72; */
 
79
  }
 
80
 
 
81
h3 a:link {
 
82
  color: inherit;
 
83
  }
 
84
 
 
85
h3 a:hover {
 
86
  color: inherit;
 
87
  }
 
88
 
 
89
h3 a:visited {
 
90
  color: inherit;
 
91
  }
 
92
 
 
93
dt {
 
94
  color: #000000;
 
95
  font-weight: bold;
 
96
  }
 
97
/*
 
98
  border: 4px solid blue;
 
99
  padding: 1ex;
 
100
  background: #7777FF;
 
101
        }
 
102
dt:hover 
 
103
  {
 
104
  background-color: black;
 
105
  }
 
106
dt:active
 
107
  {
 
108
  background-color: red;
 
109
  }
 
110
*/
 
111
 
 
112
tt, .literal-block {
 
113
  font-family: monospace;
 
114
  }
 
115
 
 
116
tt {
 
117
  color: #000000;
 
118
  font-weight: normal;
 
119
  }
 
120
 
 
121
.literal-block {
 
122
  margin-left: 5em;
 
123
  color: #000000;
 
124
  font-weight: normal;
 
125
  background-color: #c1d1ff;
 
126
  background-color: #e5ecf9;
 
127
  border: 1px solid #888888;
 
128
  padding: 1em;
 
129
  }
 
130
 
 
131
a:link {
 
132
  color: #4c52ff;
 
133
  text-decoration: none;
 
134
  }
 
135
 
 
136
a:visited {
 
137
  color: #4c53ff;
 
138
  text-decoration: none;
 
139
  }
 
140
 
 
141
a:hover {
 
142
  color: #b52727;
 
143
  text-decoration: none;
 
144
  }