/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: Vincent Ladeuil
  • Date: 2007-11-30 09:51:22 UTC
  • mto: (3059.2.1 173010)
  • mto: This revision was merged to the branch mainline in revision 3060.
  • Revision ID: v.ladeuil+lp@free.fr-20071130095122-6xz845lluzjp7tvs
Add -Dhttp support.

* bzrlib/transport/http/_urllib2_wrappers.py:
(HTTPConnection.__init__): Report the host we are about to connect
to if -Dhttp is used.
(AbstractHTTPHandler.do_open): Report requests and
responses (including headers) if -Dhttp is used.

* bzrlib/transport/http/_urllib.py: Fix some imports.
(HttpTransport_urllib._perform): Delete one mutter call since
-Dhttp provides better information.

* bzrlib/transport/http/_pycurl.py:
Fix some imports.
(PyCurlTransport._set_curl_options): Activate verbose output if
-Dhttp is used. Unfortunately this goes straight to stderr instead
of .bzr.log (libcurl provides an option but pycurl does not
implement it), but since we are debugging, I think it's
acceptable.

* bzrlib/transport/http/__init__.py:
(HttpTransportBase._coalesce_readv): Add a comment about the
servers that return the whole file ignoring the Ranges header.

* bzrlib/help_topics.py:
(_global_options): Add http.

* bzrlib/debug.py: 
Add 'http'.

Show diffs side-by-side

added added

removed removed

Lines of Context:
35
35
  color: inherit;
36
36
  }
37
37
 
38
 
/* Format ".. note:" sections nicely */
39
 
div.note {
40
 
  margin-left: 5em;
41
 
  margin-right: 5em;
42
 
  color: #000000;
43
 
  background-color: #c1d1ff;
44
 
  border: 1px solid #888888;
45
 
  padding-left: 1em;
46
 
  padding-right: 1em;
47
 
  }
48
 
 
49
 
div.note .first {
50
 
  font-weight: bold;
51
 
  }
52
 
 
53
38
h1 {
54
 
  color: #b52b2b;
 
39
  color: #b52b2b; 
55
40
  /* DKREDcolor: #966b72; */
56
41
  /* GREY color: #444444; */
57
42
  font-size: 1.5em;
60
45
h1 a:link {
61
46
  color: inherit;
62
47
  }
63
 
 
 
48
  
64
49
h1 a:hover {
65
50
  color: inherit;
66
51
  }
89
74
  }
90
75
 
91
76
h3 {
92
 
  color: #966b72;
 
77
  color: #966b72; 
93
78
  /* color: #966b72; */
94
79
  }
95
80
 
114
99
  padding: 1ex;
115
100
  background: #7777FF;
116
101
        }
117
 
dt:hover
 
102
dt:hover 
118
103
  {
119
104
  background-color: black;
120
105
  }
139
124
  margin-right: 5em;
140
125
  color: #000000;
141
126
  font-weight: normal;
 
127
  background-color: #c1d1ff;
142
128
  background-color: #e5ecf9;
143
129
  border: 1px solid #888888;
144
130
  padding: 1em;