← Back to branch summary

~bzr-pqm/bzr/bzr.dev

« 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:
doc/default.css
16
16
  text-indent: 3em
17
17
} */
18
18
 
 
19
h1, h2, h3 {
 
20
  font-family: Georgia, "Times New Roman", Times, serif;
 
21
}
 
22
 
19
23
h1.title {
20
24
  text-align: center;
21
25
  color: #000000;
22
 
  font-family: Georgia, "Time New Roman", Times, serif;
23
26
  font-size: 1.8em;
24
27
  }
25
28
 
36
39
  color: #b52b2b; 
37
40
  /* DKREDcolor: #966b72; */
38
41
  /* GREY color: #444444; */
39
 
  font-family: Georgia, "Time New Roman", Times, serif;
40
42
  font-size: 1.5em;
41
43
  }
42
44
 
56
58
  color: #222;
57
59
  /* RED color: #966b72; */
58
60
  text-decoration: underline;
59
 
  font-family: Georgia, "Time New Roman", Times, serif;
60
61
  font-size: 1.4em;
61
62
  }
62
63
 
75
76
h3 {
76
77
  color: #966b72; 
77
78
  /* color: #966b72; */
78
 
  font-family: Georgia, "Time New Roman", Times, serif;
79
79
  }
80
80
 
81
81
h3 a:link {
109
109
  }
110
110
*/
111
111
 
 
112
tt, .literal-block {
 
113
  font-family: monospace;
 
114
  }
 
115
 
112
116
tt {
113
117
  color: #000000;
114
118
  font-weight: normal;
115
 
  font-family: "Lucida", "Monaco", "Courier", Monospace;
116
119
  }
117
120
 
118
121
.literal-block {
119
122
  margin-left: 5em;
120
123
  color: #000000;
121
124
  font-weight: normal;
122
 
  font-family: "Lucida", "Monaco", "Courier", Monospace;
123
125
  background-color: #c1d1ff;
124
126
  background-color: #e5ecf9;
125
127
  border: 1px solid #888888;