/* 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 page title, displayed on the very top of the page. E.g. LPAR 2013: 20th
 * International Conference ... */
#title {
  /* color:#666; */
  color:#FF8000;
  font-size:18pt;
  font-family:verdana, sans-serif;
  padding:7pt 0pt 11pt 0pt;
}

/* The page content: everything not including menus */
#content {
  color: black;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 10pt;
}

/* The page content: everything not including menus */
#content a, a:visited  {
  color: #464646;
    /* color: #FF8000; */
}

#content a:hover  {
  color: #000000;
}


/* top-level section headings */
h1 {
  color:#555;
  font-size:13pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:1pt 0pt 2pt 0pt;
} 

/* second-level section headings */
h2 {
  /* color:#888888; */
  color: #FF8000;
  font-size:13pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:7pt 0pt 5pt 0pt;
} 

/* third-level section headings */
h3 {
  color:#888888;
  font-size:12pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:7pt 0pt 5pt 0pt;
} 

/* session div, used in programs */
.session {}

/* sessions that contain no talks, this class will be used in addition to the
 * session class */
.notalks {}

/* A session heading is something like "09:00-12:00 Session 1A: Machine Learning" */
.session .heading {
  font-size:11pt;
  background-color: #d0dce0;/*d8e4e9;/*d0dce0;/*a2caee;/*95c4ee;/*d0dce0;*/
  padding: 3pt 5pt 3pt 5pt;
  margin: 3pt 0pt 1pt 0pt;
}

/* A session heading interval is something like "09:00-12:00", used inside
 * session headings */
.session .heading .interval {
  font-weight: bold;
}

/* A session heading title is something like "Session 1A: Machine Learning",
   used inside session headings */
.session .heading .title {
  margin-left: 16pt;
}

/* Talk table, used in programs */
.talks {
  margin:2pt 0pt 2pt 20pt;
}

/* Talk table row, used in a talk table */
.talk {
  vertical-align: top;
}

/* Talk authors div in a talk table row */
.talk .authors {}

/* Talk title div in a talk table row */
.talk .title {
    padding: 1pt 0pt 1pt 0pt;
    font-weight: bold;
}

/* Used with any person name, e.g. "Andrei Voronkov". The person name can in
   fact be an "a" element with a link to the person Web site */
.person { font-style: italic; }
.person:link { text-decoration: none; }
.person:visited { text-decoration: none; }

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

/** session date in the schedule */
div.date {
  text-align: center;
  padding: 5pt 0pt 5pt 0pt;
  font-size: 11pt;
  margin: 4pt 0pt 4pt 0pt;
  background-color: #d4d4d4;
  /* font-weight: bold; */
}

/** talk abstract */
.abstract {
    padding: 1pt 0pt 2pt 0pt;
}

/** Text SPEAKER: <speaker name> */
.speaker {
}

/* submission in the detailed list of accepted papers */
.sub_detailed {
    border-top: solid #bbb 1px;
    border-bottom: solid #bbb 1px;
    padding: 6pt 6pt 0pt 8pt;
    margin-bottom: 10pt;
    background:#ededed;
}

/* submission abstract in the detailed list of accepted papers */
.sub_abstract_detailed {
}

/* submission title in the detailed list of accepted papers */
.sub_title_detailed {
    font-weight: bold;
}

/* div with session chairs in a session */
.session_chair {
    margin: 2pt 0pt 2pt 5pt;
}

/* The word "Chairs in" Chairs: ...chair names... */
.chair_word {
    text-transform: uppercase;
    padding-right: 5pt;
}

/* div <Location: room name> in a session */
.room {
    margin: 2pt 0pt 2pt 5pt;
}

/* The word "Location in" Location: <room name> */
.room_word {
    text-transform: uppercase;
    padding-right: 5pt;
}

/* Coffee and lunch breaks */

.session .coffeebreak {
  font-size:11pt;
  background-color: #eeeed9;
  padding: 3pt 5pt 3pt 5pt;
  margin: 3pt 0pt 1pt 0pt;
}

.session .coffeebreak .interval {
  font-weight: bold;
  color: #555;
}

.coffeebreak .title {
  margin-left: 14pt;
  background:url('coffee.png') no-repeat; /* add bg image + color */
  padding-left: 18pt;
  color: #555;
}

.session .lunchbreak {
  font-size:11pt;
  background-color: #eeeed9;
  padding: 3pt 5pt 3pt 5pt;
  margin: 3pt 0pt 1pt 0pt;
}

.session .lunchbreak .interval {
  font-weight: bold;
  color: #555;

}

.lunchbreak .title {
  height: 24px;
  margin-left: 14pt;
  background:url('lunch2.png') no-repeat; /* add bg image + color */
  padding-left: 16pt;
  color: #555;
}

/** link to day-by-session, when first in the series of links */
.day_by_session {
  margin-left: 15pt;
  margin-right: 6pt;
}
/** link to day-with-abstracts, when first in the series of links */
.day_with_abstracts {
  margin-left: 15pt;
  margin-right: 14pt;
}
/** next link in the series */
.day_next_link {
  margin-left: 5pt;
  margin-right: 9pt;
}

/** links to the previous/next day, must be 
  (1) fixed width so that scrolling through pages is smooth
  (2) fit "previous day" and have enough space on the right to look nice with "next day" next to it
*/
.days {
  display: inline-block;
  margin-right: 1.5em;
}
.previous_day {
  display: inline-block;
  width: 6em; /* must be fixed */
  background-image:url('prev.gif');
  background-repeat:no-repeat;
  background-position:left 1px center;
  padding-left: 23px; /* to fit the image */
}
.day_space {
  width: 0.6em; /* must be fixed */
  display: inline-block;
}
.next_day {
  display: inline-block;
  text-align: right;
  width: 4.2em; /* must be fixed */
  background-image:url('next.gif');
  background-repeat:no-repeat;
  background-position:right 1px center;
  padding-right: 23px; /* to fit the image */
}
.all_days {
  margin-left: 10pt;
  display: inline-block;
  background-image:url('alldays.gif');
  background-repeat:no-repeat;
  background-position:right 1px center;
  padding-right: 23px; /* to fit the image */
}

/** links to all program days on the all-talks page */
.program_days {
  margin-right: 1em;
  white-space:nowrap
}

/** any program table containing an overview of a day, e.g. by-session */
div.overview {
  padding: 0pt;
  border: 0pt;
  margin-left: 10pt;
  position: relative;
  vertical-align:middle;
  font-size: 10pt;
  background-color:white;
} 

div.overview .block {
  position: absolute;
  border: solid #666666 1px;
  margin: 1px;
  padding: 3px;
  text-align: center;
  overflow: hidden;
  vertical-align:middle;
}

div.overview .tblock {
  position: absolute;
  border: solid #666666 1px;
  margin: 1px;
  padding: 3px;
  text-align: center;
  overflow: hidden;
  vertical-align:middle;
  font-size: 8pt;
}
div.overview .tblock:before {
  content: '';
  display: inline-block;
  height: 100%; 
  vertical-align: middle;
  margin-right: -0.25em;
}

/* to make the content of an element of the class block vertically centered, see
   http://css-tricks.com/centering-in-the-unknown/ Does not work with IE 7. Commented out since
   only Safari gets it right: Chrome and Firefox move some block text below the visible area
   sporadically.
   */
div.overview .block:before {
  content: '';
  display: inline-block;
  height: 100%; 
  vertical-align: middle;
  margin-right: -0.25em;
}
 
div.overview .cblock {
  position: absolute;
  border: solid #666666 1px;
  margin: 1px;
  padding: 3px;
  text-align: center;
  overflow: hidden;
  vertical-align:middle;
  font-size:12pt;
  border-radius:10px;
}

/* Global session blocks. They are treated differently because browsers do not screw up on
   the :before declarations since the width of these blocks is sufficient */
div.overview .gblock {
  position: absolute;
  border: solid #666666 1px;
  margin: 1px;
  padding: 3px;
  text-align: center;
  overflow: hidden;
  vertical-align:middle;
}

/* to make the content of an element of the class block vertically centered, see
   http://css-tricks.com/centering-in-the-unknown/ Does not work with IE 7 */
div.overview .gblock:before {
  content: '';
  display: inline-block;
  height: 100%; 
  vertical-align: middle;
  margin-right: -0.25em;
}

/* to make the content of an element of the class block vertically centered, see
   http://css-tricks.com/centering-in-the-unknown/ Does not work with IE 7 */
div.overview .cblock:before {
  content: '';
  display: inline-block;
  height: 100%; 
  vertical-align: middle;
  margin-right: -0.25em;
}

div.overview .inner {
    display: inline-block;
    vertical-align: middle;
}

div.overview .coffee {
  font-size:13pt;
  background-color: #eeeeee;
}

div.overview .lunch {
  font-size:13pt;
  background-color: #eeeeee;
}

div.overview .vtimeline {
  position: absolute;
  background-color: #666666;
  color: #666666;
  width:1px;
  overflow:hidden;
}

div.overview .htimeline {
  position: absolute;
  background-color: #666666;
  color: #666666;
  height:1px;
  overflow:hidden;
}

div.overview .minutes60 {
  position: absolute;
  text-align: right;
  font-size: 10pt;
}

div.overview .minutes30 {
  position: absolute;
  text-align: right;
  font-size: 8pt;
}

#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;
}

/* Indexing */

.index {}
.index .letter { height:22pt; }
.index .letter_sel { height:22pt; }
.index .entry {
  height:15pt;
  vertical-align: text-top;
}
.index .name {
  padding-left:25pt;
}
.index .paper1 {
  padding:0pt 0pt 0pt 14pt;
  background:url('square.gif') no-repeat; /* add bg image */
  font-style: italic;
}
.index .paper2 {
  margin-left: 10pt;
  padding:0pt 0pt 0pt 14pt;
  background:url('square.gif') no-repeat; /* add bg image */
  font-style: italic;
}
.index .paper3 {
  margin-left: 20pt;
  padding:0pt 0pt 0pt 14pt;
  background:url('square.gif') no-repeat; /* add bg image */
  font-style: italic;
}
.index .paper4 {
  margin-left: 30pt;
  padding:0pt 0pt 0pt 14pt;
  background:url('square.gif') no-repeat; /* add bg image */
  font-style: italic;
}
.index .paper5 {
  margin-left: 40pt;
  padding:0pt 0pt 0pt 14pt;
  background:url('square.gif') no-repeat; /* add bg image */
  font-style: italic;
}
.index .paper6 {
  margin-left: 50pt;
  padding:0pt 0pt 0pt 14pt;
  background:url('square.gif') no-repeat; /* add bg image */
  font-style: italic;
}
.index .papers{}
.index .ptitle .conference {
  display:inline;
  font-style: none;
}
.index .ptitle {
  display:inline;
}

.index .letter a {
  color:#000;
  background-color:#ff0;
  font-size:10pt;
  font-family:verdana, sans-serif;
  padding:2pt 5pt 3pt 5pt;
  border: solid 1px #000;
}

.index .letter_sel a {
  color:#fff;
  background-color:#f00;
  font-size:10pt;
  font-family:verdana, sans-serif;
  padding:2pt 5pt 3pt 5pt;
  border: solid 1px #a00;
  font-weight: bold;
}

#content .shortcuts {
  color:#888;
  font-size:11pt;
  font-family:verdana, sans-serif;
  padding:5pt 0pt 5pt 5pt;
  margin-bottom:10pt;
}

#content .shortcuts .links a:link { 
  text-decoration:none;
  font-size:12pt;
  font-weight:normal;
  color:#900;
  border: solid 1px #aaa;
  padding:1pt 5pt 2pt 5pt;
  margin-right:1pt; 
}
#content .shortcuts .links a:visited { color:#a00; }
#content .shortcuts .links a:link:hover { color:red; border: solid 1px #f00;}
#content .shortcuts .links a:visited:hover { color:red; border: solid 1px #f00;}

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

/* personal pages, including bio */

.bio {
  padding: 0pt 0pt 0pt 15pt;
  color: #666;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 10pt;
  border-left:1px #666 solid;
}
.bio_img {
  padding: 4pt 10pt 0pt 0pt;
}
.bio_title {
  color:#444;
  font-size:14pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:0pt 0pt 7pt 0pt;
}
.bio_honours {
  color:#666;
  font-size:12pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:7pt 0pt 15pt 10pt;
}
.bio_interests {
  color:#555;
  font-size:12pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:15pt 0pt 5pt 10pt;
}
.bio_interests_cont {
  padding:0pt 0pt 0pt 10pt;
}
.bio_auto {
  color:#555;
  font-size:12pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:15pt 0pt 5pt 10pt;
}
.bio_auto {
  color:#555;
  font-size:12pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:15pt 0pt 5pt 10pt;
}
.bio_auto_cont {
  padding:0pt 0pt 0pt 10pt;
}
.bio_pages {
  color:#555;
  font-size:12pt;
  font-family:verdana, sans-serif;
  font-weight : normal;
  padding:15pt 0pt 5pt 10pt;
}

.bio_table {
  border-collapse:collapse;
  width:100%;
  margin:0pt 10pt 0pt 10pt;
}
.bio_table td {
    padding: 4pt 9pt 4pt 9pt;
    border-right: solid #bcbcbc 1px;
    border-left: solid #bcbcbc 1px;
    border-top: solid #bcbcbc 1px;
}

/* same but with a border */
.bio_table td.borderl {
    padding: 2pt 7pt;
    border-left: solid 1px #cccccc;
}
.bio_table td.borderr {
    padding: 2pt 7pt;
    border-right: solid 1px #cccccc;
}
.bio_table td.borderb {
    padding: 2pt 7pt;
    border-left: solid 1px #cccccc;
    border-right: solid 1px #cccccc;
}
.bio_table thead th {
  padding: 2px 5px 2px 5px;
  border: 1px solid #666;
  color: #333333;
  font-weight: normal;
  text-align: center;
  cursor: pointer;
  background-color:#ece9e4;
}

.bio_table tr.evengrey {background-color: #ebeae5;}
.bio_table tr.oddgrey {background-color: #fefefe;}
.bio_table tr.evengrey td.high {background-color: #d6d1ce;padding: 2px 7pt;}
.bio_table tr.oddgrey td.high {background-color: #e4e1dd;padding: 2px 7pt;}

/* row having a bottom border */
.bio_table tr.bottom  {
  border-bottom: 1px solid #bcbcbc;
}

/* row having a top border */
.bio_table tr.top  {
  border-top: 1px solid #bcbcbc;
}

/* proceedings */

.proceedings_editors {
  color: #15544E;
  font-family: Arial,Helvetica,sans-serif;
  font-size: 18px;
  font-weight: 400;
}

.proceedings_table {
  border-collapse:collapse;
  font: 12px Arial, Helvetica, sans-serif;
  margin:0px;
  padding:0px;
  border:1px dotted #cccccc;
  font-size:12px;
  box-shadow: 4px 4px 12px #888888;
}

.proceedings_table td {
    padding: 3px 4px 3px 8px;
}

.proceedings_table thead th {
  padding: 4px 0 4px 8px;
  color: #333333;
  font-weight: bold;
  text-align : left;
  cursor: pointer;
  background-color: #D4F7F4;
  text-shadow: 0px 1px 1px #fff;
}

.proceedings_table a {
    text-decoration: underline;
    color: #06544D;
}

.proceedings_table tr {
    background-color: #ffffff;
    border-bottom:1px dotted #cccccc;
}
.proceedings_table tr.odd {
    background-color: #F7F7F7;
    border-bottom:1px dotted #cccccc;
}
.proceedings_table tr.hed {
    background-color: #fff;
    border-bottom:2px solid #cccccc;
}

/* row having a top border */
.proceedings_table tr.top  {
  border-top: 1px solid #aaaaaa;
}

.proceedings_menu {
    height:24pt;
    font-size:10pt;
    background: #eeeeee;
    width:100%;
    margin: 0pt 0pt 15pt 0pt;
    padding: 0pt 0pt 0pt 20pt;
    border:0pt;
    border-bottom: 1px solid #aaaaaa;
    border-top: 1px solid #aaaaaa;
}

.proceedings_menu a {
    line-height:24pt;
    margin : 0pt 16pt 0pt 0pt;
    color: #15544E;
}

hr.paper_abstract {
    width: 50%;
    color: #dddddd;
    text-align: left;
    margin-top: 7pt;
}

.proceedings_preface {
    background: #fff;
    padding:12px;
    margin: 20px 0px 0px 0px;
    -webkit-border-radius: 6px; /* Saf3-4, iOS 1-3.2, Android <e;1.6 */
    -moz-border-radius: 6px; /* FF1-3.6 */
    border-radius: 6px; /* Opera 10.5, IE9, Saf5, Chrome, FF4, iOS 4, Android 2.1+ */
    border:1px solid #8d9c9b;
    opacity:.7; /*50%*/
    filter:alpha(opacity=70);
    zoom:1; /*iefix*/
}

.proceedings_index_table {
  border-collapse:collapse;
  font: 12px Arial, Helvetica, sans-serif;
  margin:0px;
  padding:0px;
  border:1px dotted #cccccc;
  font-size:12px;
  box-shadow: 4px 4px 12px #888888;
}

.proceedings_index_table td {
    padding: 3px 4px 3px 8px;
}

.proceedings_index_table thead th {
  padding: 4px 0 4px 8px;
  color: #333333;
  font-weight: bold;
  text-align : left;
  cursor: pointer;
  background: #D4F7F4 url('/images/epic-theader-bg.jpg') repeat-x;
  text-shadow: 0px 1px 1px #fff;
}

.proceedings_index_table a {
    text-decoration: underline;
    color: #06544D;
}

.proceedings_index_table tr.even {
    background-color: #ffffff;
    border-bottom:1px dotted #cccccc;
}
.proceedings_index_table tr.odd {
    background-color: #F7F7F7;
    border-bottom:1px dotted #cccccc;
}
.proceedings_index_table tr.head {
    background-color: #fff;
    border-bottom:2px solid #cccccc;
}
.proceedings_index_table tr.top  {
  border-top: 1px solid #aaaaaa;
}


.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;
}