3 background-color: #bbbbbb;
19 /* Hard coding these values is probably not good, but I can't figure
20 out how to get them as more general system preferences. Perhaps
21 someone with better CSS-fu can figure it out. */
25 div
.download-label
, div
.download-value
{
39 #download-progress-container {
43 border: 1px solid black
;
44 padding: 0px 0px 0px 0px;
45 margin: 0px 0px 0px 0px;
46 background-color: #cccccc;
50 #download-progress-bar {
52 background-color: #666666;
53 margin: 0px 0px 0px 0px;