/* EasyChair smart program style sheets
 * (c) 2013-2014 Cool Press Ltd
 */

/* main top-level menu, contains the most general items (program, site map etc.) */

body, html  {
  margin:0pt 0pt 0pt 0pt;
  padding:0px;
  min-width:800px;
}

.page_table {
  height:100%;
  width:100%;
  border:0px;
}
.left_td_column {
  width:1%;
  vertical-align: top;
  text-align: center;
  padding:20pt 20px 20pt 20px;
}
.central_td_column {
  width:99%;
  vertical-align: top;
  padding-top:3pt;
  background:#fff;
}
.right_td_column {
  width:1%;
  vertical-align: top;
  text-align: center;
  padding:10pt 15px 20pt 15px;
}

.left_spacer{
  width: 50px;
}
.right_spacer{
  width: 50px;
}

.divsearch {
  float:right;
  width: 140px;
  height:14px;
  background-color:#fff;
  margin-top:10px;
  margin-left:20pt;
  margin-right:20pt;
  font-size:12pt;
  line-height: 14px;
}

.conf_search {
  width: 140px;
  height:14px;
  color:#666;
  background-color:#fff;
  font-size:11pt;
  font-family:verdana, sans-serif;
  padding:2px 3pt 4px 3pt;
  border:solid 1px #aaa;
  line-height: 14px;
}

#pagetitle {
  color:#555;
  font-size:13pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:10pt 0pt 6pt 0pt;
  border-bottom:solid 1px #999;
} 

#main_menu {
}
#main_menu a:visited {
  color:#f6f6f6;
}
#main_menu a:hover {
  background-color:#222222;
}
#main_menu a {
  color:#f6f6f6;
  text-decoration:none;
  background-color:#aaa;
  font-size:10pt;
  margin-right:2px;
  font-family:verdana, sans-serif;
  padding:2pt 3pt 2pt 3pt;
  cursor: pointer;
  line-height:1.75;
}

/* selected main top-level menu, contains the most general items (program, site map etc.) */
#main_menu a.selected {
  color:#fff;
  text-decoration:none;
  background-color:#dd0000;
  font-size:10pt;
  margin-right:2px;
  font-family:verdana, sans-serif;
  padding:2pt 3pt 2pt 3pt;
  cursor: pointer;
}
#main_menu a.selected:visited { color:#fff; }
#main_menu a.selected:link:hover { background-color:#222; }
#main_menu a.selected:visited:hover { background-color:#222; }

/* second-level menu, for multi-conference programs contains conference aliases */
#menu2 {
  margin-top:7pt;
  margin-left:0pt;
  margin-right:0pt;
  border-top: solid 1px #999;
  padding: 4pt 0pt 4pt 0pt; 
}
#menu2 a:visited {
  color:#888888;
}
#menu2 a:hover {
  background-color:#222222;
  color: #f6f6f6
}
#menu2 a {
  color:#888888;
  text-decoration:none;
  font-size:10pt;
  white-space:nowrap;
  margin-right:2pt;
  font-family:verdana, sans-serif;
  padding:1pt 0pt 2pt 0pt;
  cursor: pointer;
}
#menu2 .separator {
  padding: 0pt 4pt 0pt 4pt;
}

/* selected main 2-level menu */
#menu2 a.selected {
  color:#fff;
  text-decoration:none;
  font-size:10pt;
  white-space:nowrap;
  margin-right:0pt;
  font-family:verdana, sans-serif;
  padding:0pt 4pt 1pt 4pt;
  cursor: pointer;
  background-color:#dd0000;
}
#menu2 a.selected:visited { color:fff; }
#menu2 a.selected:link:hover { background-color:#222; }
#menu2 a.selected:visited:hover { background-color:#222; }

/* third-level menu, appears on some pages */
#menu3 {
  margin-top:0pt;
  margin-left:0pt;
  margin-right:0pt;
  border-top:solid 1px #999;
  padding-top:7pt;
}
#menu3 a:visited {
  color:#888888;
}
#menu3 a:hover {
  background-color:#222222;
  color: #f6f6f6
}
#menu3 a {
  color:#888888;
  text-decoration:none;
  font-size:9pt;
  white-space:nowrap;
  margin-right:2pt;
  font-family:verdana, sans-serif;
  padding:1pt 0pt 2pt 0pt;
  cursor: pointer;
}
#menu3 .separator {
  padding: 0pt 4pt 0pt 4pt;
}

/* selected main 3-level menu */
#menu3 a.selected {
  color:#fff;
  text-decoration:none;
  font-size:9pt;
  white-space:nowrap;
  margin-right:0pt;
  font-family:verdana, sans-serif;
  padding:2pt 4pt 2pt 4pt;
  cursor: pointer;
  background-color:#dd0000;
}
#menu3 a.selected:visited { color:#fff; }
#menu3 a.selected:link:hover { background-color:#222; }
#menu3 a.selected:visited:hover { background-color:#222; }

/* the class of the " | " string used in menus */
.separator {}

#disclaimer {
  color: #043f76;
  font-size:8pt;
  font-family:verdana, sans-serif;
  padding:12pt 0pt 8pt 0pt;
  margin: 32pt 10pt 0pt 10pt;
  border-top:1px #999 solid;
  background-color:#fff;
  text-align:center;
  white-space:nowrap;
}

#disclaimer a:link {
  color: #043f76;
}

/* The page title, displayed on the very top of the page. E.g. LPAR 2013: 20th
 * International Conference ... */
#title {
  color:#666;
  font-size:14pt;
  font-family:verdana, sans-serif;
  padding:7pt 0pt 11pt 0pt;
}


.vsl {
  text-color: #000000;
  background-color: #d6e0d6;
}

.floc {
  text-color: #000000;
  background-color: #7cfc00;
}

.cav {
  text-color: #000000;
  background-color: #00ffff;
}

.csf {
  text-color: #000000;
  background-color: #add8e6;
}

.csllics {
  text-color: #000000;
  background-color: #00ced1;
}

.iclp {
  text-color: #000000;
  background-color: #deb887;
}

.ijcar {
  text-color: #000000;
  background-color: #ff7f50;
}

.itp {
  text-color: #000000;
  background-color: #6495ed;
}

.rtatlca {
  text-color: #000000;
  background-color: #bdb76b;
}

.sat {
  text-color: #000000;
  background-color: #a9a9a9;
}

.lc {
  text-color: #000000;
  background-color: #ff8c00;
}

.latd {
  text-color: #000000;
  background-color: #e9967a;
}

.kr {
  text-color: #000000;
  background-color: #ffff00;
}

.dl {
  text-color: #000000;
  background-color: #00bfff;
}

.nmr {
  text-color: #000000;
  background-color: #ffbbff;
}

.fc {
  text-color: #000000;
  background-color: #1e90ff;
}

.acl {
  text-color: #000000;
  background-color: #ffd700;
}

.addct {
  text-color: #000000;
  background-color: #dcdcdc;
}

.aiss {
  text-color: #000000;
  background-color: #daa520;
}

.xx {
  text-color: #000000;
  background-color: #adff2f;
}

.arqnl {
  text-color: #000000;
  background-color: #d3d3d3;
}

.arwdt {
  text-color: #000000;
  background-color: #90ee90;
}

.asa {
  text-color: #000000;
  background-color: #ffb6c1;
}

.aspocp {
  text-color: #000000;
  background-color: #ffa07a;
}

.automatheo {
  text-color: #000000;
  background-color: #ffe4e1;
}

.chr {
  text-color: #000000;
  background-color: #f08080;
}

.ciclopswlpe {
  text-color: #000000;
  background-color: #d6d600;
}

.clc {
  text-color: #000000;
  background-color: #f390cf;
}

.coq {
  text-color: #000000;
  background-color: #ffbea4;
}

.cspsat {
  text-color: #000000;
  background-color: #20b2aa;
}

.dcm {
  text-color: #000000;
  background-color: #87cefa;
}

.dtp {
  text-color: #000000;
  background-color: #afb9c4;
}

.ec {
  text-color: #000000;
  background-color: #b0c4de;
}

.fcsfcc {
  text-color: #000000;
  background-color: #78ff78;
}

.frida {
  text-color: #000000;
  background-color: #55d555;
}

.fwfm {
  text-color: #000000;
  background-color: #66cdaa;
}

.getfun {
  text-color: #000000;
  background-color: #c0c0c0;
}

.gsb {
  text-color: #000000;
  background-color: #d392e3;
}

.hcvs {
  text-color: #000000;
  background-color: #ad93e4;
}

.hol {
  text-color: #000000;
  background-color: #00fa9a;
}

.hopa {
  text-color: #000000;
  background-color: #48d1cc;
}

.hor {
  text-color: #000000;
  background-color: #eec6f0;
}

.hsb {
  text-color: #000000;
  background-color: #c8f972;
}

.iclpdc {
  text-color: #000000;
  background-color: #afeeee;
}

.ifipwg {
  text-color: #000000;
  background-color: #ffcea2;
}

.ivsl {
  text-color: #000000;
  background-color: #ffc0cb;
}

.ipra {
  text-color: #000000;
  background-color: #dda0dd;
}

.itrs {
  text-color: #000000;
  background-color: #eee8aa;
}

.iwc {
  text-color: #000000;
  background-color: #dca978;
}

.isabelle {
  text-color: #000000;
  background-color: #bdede6;
}

.kinar {
  text-color: #000000;
  background-color: #f6b57d;
}

.krhc {
  text-color: #000000;
  background-color: #c0c0c0;
}

.lash {
  text-color: #000000;
  background-color: #87ceeb;
}

.lcc {
  text-color: #000000;
  background-color: #d2b48c;
}

.lfmtp {
  text-color: #000000;
  background-color: #d8bfd8;
}

.lg {
  text-color: #000000;
  background-color: #f199f1;
}

.linearity {
  text-color: #000000;
  background-color: #f5deb3;
}

.lola {
  text-color: #000000;
  background-color: #ffff7c;
}

.lsb {
  text-color: #000000;
  background-color: #c6e38a;
}

.ncproofs {
  text-color: #000000;
  background-color: #ffb1a3;
}

.nlcs {
  text-color: #000000;
  background-color: #c5a289;
}

.nlsr {
  text-color: #000000;
  background-color: #d6e0d6;
}

.nsv {
  text-color: #000000;
  background-color: #7cfc00;
}

.ore {
  text-color: #000000;
  background-color: #00ffff;
}

.paar {
  text-color: #000000;
  background-color: #add8e6;
}

.parsearchopt {
  text-color: #000000;
  background-color: #00ced1;
}

.pas {
  text-color: #000000;
  background-color: #deb887;
}

.proofcomplexity {
  text-color: #000000;
  background-color: #ff7f50;
}

.pccr {
  text-color: #000000;
  background-color: #6495ed;
}

.plp {
  text-color: #000000;
  background-color: #bdb76b;
}

.pos {
  text-color: #000000;
  background-color: #a9a9a9;
}

.pruv {
  text-color: #000000;
  background-color: #ff8c00;
}

.psc {
  text-color: #000000;
  background-color: #e9967a;
}

.qbf {
  text-color: #000000;
  background-color: #ffff00;
}

.qed {
  text-color: #000000;
  background-color: #00bfff;
}

.quantify {
  text-color: #000000;
  background-color: #ffbbff;
}

.rcra {
  text-color: #000000;
  background-color: #1e90ff;
}

.reorder {
  text-color: #000000;
  background-color: #ffd700;
}

.rs {
  text-color: #000000;
  background-color: #dcdcdc;
}

.smt {
  text-color: #000000;
  background-color: #daa520;
}

.sd {
  text-color: #000000;
  background-color: #adff2f;
}

.ssv {
  text-color: #000000;
  background-color: #d3d3d3;
}

.stast {
  text-color: #000000;
  background-color: #90ee90;
}

.synt {
  text-color: #000000;
  background-color: #ffb6c1;
}

.termgraph {
  text-color: #000000;
  background-color: #ffa07a;
}

.uitp {
  text-color: #000000;
  background-color: #ffe4e1;
}

.unif {
  text-color: #000000;
  background-color: #f08080;
}

.vampire {
  text-color: #000000;
  background-color: #d6d600;
}

.vemdp {
  text-color: #000000;
  background-color: #f390cf;
}

.verify {
  text-color: #000000;
  background-color: #ffbea4;
}

.verisure {
  text-color: #000000;
  background-color: #20b2aa;
}

.vpt {
  text-color: #000000;
  background-color: #87cefa;
}

.vstte {
  text-color: #000000;
  background-color: #afb9c4;
}

.wing {
  text-color: #000000;
  background-color: #b0c4de;
}

.wir {
  text-color: #000000;
  background-color: #78ff78;
}

.wpte {
  text-color: #000000;
  background-color: #55d555;
}

.wst {
  text-color: #000000;
  background-color: #66cdaa;
}

.wwv {
  text-color: #000000;
  background-color: #d392e3;
}