/**
 * (C) Copyright 2008 Jeremy Maitin-Shepard
 * (C) Copyright 2009 John Foerch
 *
 * Use, modification, and distribution are subject to the terms specified in the
 * COPYING file.
**/

* {
  margin: 0px;
  padding: 0px;
  /* Hard coding these values is probably not good, but I can't figure
     out how to get them as more general system preferences.  Perhaps
     someone with better CSS-fu can figure it out. */
  font-family: verdana;
  font-size: 14.1px;
}

body.download-buffer {
  background-color: #bbbbbb;
  padding: 4px;
}

td {
  vertical-align: top;
  white-space: nowrap;
}

td.download-label {
  width: 10em;
  font-weight: bold;
}

#download-percent {
  float: left;
  margin-right: 1em;
}

#download-progress-container {
  width: 15em;
  height: 1em;
  border: 1px solid black;
  padding: 0px;
  margin: 0px;
  background-color: #cccccc;
  overflow: hidden;
}

#download-progress-bar {
  height: 100%;
  background-color: #666666;
  margin: 0px;
}
