/*
 * Style sheet for ejudge documentation files
 * $Id: default.css 13 2005-03-26 14:03:40Z cher $
 */

pre.confs {
  border-width: 1;
  border: solid;
  background: #ee99ee
}

pre.cmds {
  border-width: 1;
  border: solid;
  background: #dddddd
}

pre.out {
  border-width: 1;
  border: solid;
  background: #bbffbb
}

tr.download_head {
  background: #eeeeee
}

tr.download_version {
  background: #dddddd
}

tr.download_file {
  background: #cccccc
}