content/downloads.css

   1
   2 body.download-buffer {
   3   background-color: #bbbbbb;
   4 }
   5
   6 div.download-info {
   7   width: 100%;
   8   white-space: nowrap;
   9   overflow: hidden;
  10 }
  11
  12 div.download-label {
  13   width: 10em;
  14   font-weight: bold;
  15 }
  16
  17 div {
  18   font-family: verdana;
  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. */
  22   font-size: 14.1px;
  23 }
  24
  25 div.download-label, div.download-value {
  26   float: left;
  27 }
  28
  29 div.download-value {
  30   width: 0px;
  31 }
  32
  33 #download-percent {
  34   width: auto;
  35   float: right;
  36   margin-right: 1em;
  37 }
  38
  39 #download-progress-container {
  40   float: right;
  41   width: 15em;
  42   height: 1em;
  43   border: 1px solid black;
  44   padding: 0px 0px 0px 0px;
  45   margin: 0px 0px 0px 0px;
  46   background-color: #cccccc;
  47   overflow: hidden;
  48 }
  49
  50 #download-progress-bar {
  51   height: 100%;
  52   background-color: #666666;
  53   margin: 0px 0px 0px 0px;
  54 }