~bzr-pqm/bzr/bzr.dev

« back to all changes in this revision

Viewing changes to doc/default.css

  • Committer: Vincent Ladeuil
  • Date: 2007-06-05 15:52:12 UTC
  • mto: (2485.8.44 bzr.connection.sharing)
  • mto: This revision was merged to the branch mainline in revision 2646.
  • Revision ID: v.ladeuil+lp@free.fr-20070605155212-k2za98dhobeikxhn
Fix pull multiple connections.

* bzrlib/builtins.py:
(cmd_pull.run): If 'location' wasn't a bundle, the transport may
be reused.

* bzrlib/branch.py:
(Branch.open_from_transport): New method.

* bzrlib/bundle/__init__.py:
(read_mergeable_from_transport): New method.

Show diffs side-by-side

added added

removed removed

Lines of Context:
9
9
  margin-bottom: 70px;
10
10
  font-family: Verdana, Geneva, Arial, sans-serif;
11
11
  font-size: small;
12
 
  line-height: 180%
 
12
  line-height: 140%
13
13
  }
14
14
 
15
15
/* p {
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
  line-height: 100%
 
115
  }
 
116
 
112
117
tt {
113
118
  color: #000000;
114
119
  font-weight: normal;
115
 
  font-family: "Lucida", "Monaco", "Courier", Monospace;
116
120
  }
117
121
 
118
122
.literal-block {
119
123
  margin-left: 5em;
 
124
  margin-right: 5em;
120
125
  color: #000000;
121
126
  font-weight: normal;
122
 
  font-family: "Lucida", "Monaco", "Courier", Monospace;
123
127
  background-color: #c1d1ff;
124
128
  background-color: #e5ecf9;
125
129
  border: 1px solid #888888;