html {
  margin: 0;
  padding: 0;
  height:100%;
}

body {
  padding:0px;                                      
  margin:0px;
  height:100%;
  font-size:13px;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  background:#757446 url('background.jpg') repeat-y; /* add bg image + color */ 
}

/* main top-level menu, contains the most general items (program, site map etc.) */
#main_menu {
  margin-top:0px;
  margin-left:15%;
  margin-right:15%;
  margin-bottom:0px;
  border:0px green solid;
  padding:3px 7px 3px 7px;
  background-color:#fff;
  height:16px;
}
#main_menu a {
  color:#fff;
  font-family:verdana,sans-serif;
  font-size:13px;
  text-decoration:none;
  margin:2px 0px 2px 0px;
  padding:3px 7px 3px 7px;
  background-color:red;
  border:0px red solid;
  border-right: white solid 1px;
  cursor:pointer;
}
#main_menu a:visited {
  color:#fff;
}
#main_menu a:hover {
  background-color:#666;
  color:#fff;
}

#main_menu a selected {
  color:#fff;
  font-family:verdana,sans-serif;
  font-size:13px;
  text-decoration:none;
  margin:2px 0px 2px 0px;
  padding:3px 7px 3px 7px;
  background-color:#dd0000;
  border:0px #dd0000 solid;
  border-right: white solid 1px;
  cursor:pointer;
}

#main_menu a.selected:visited { color:#fff; }
#main_menu a.selected:link:hover { background-color:#666; }
#main_menu a.selected:visited:hover { background-color:#666; }

/* second-level menu, for multi-conference programs contains conference aliases */

#bbar {
  background-color:#000;
  padding-left:15%;
  padding-right:15%;
  padding-top:10px;
  padding-bottom:10px;
  height:24px;
}
#menu2 {
  padding:3px 7px 3px 7px;
  float:left;
}
#menu2 a {
  color:#ccc;
  text-decoration:none;
  font-size:13px;
  white-space:nowrap;
  font-family:verdana, sans-serif;
  padding: 3px 10px 3px 10px;
  cursor: pointer;
}
#menu2 a:visited {
  color:#ccc;
}
#menu2 a:hover {
  background-color:#666;
  color: #fff;
}
#menu2 .separator {
  font-family:verdana, sans-serif;
  padding:3px 0px 3px 0px;
  background-color:#000;
  color:#666;
}

#menu2 a selected {
  color:#fff;
  background-color:#dd0000;
  text-decoration:none;
  font-size:13px;
  white-space:nowrap;
  font-family:verdana, sans-serif;
  padding: 3px 10px 3px 10px;
  cursor: pointer;
}

#menu2 a.selected:visited { color:#fff; background-color:#dd0000 }
#menu2 a.selected:link:hover { background-color:#666; }
#menu2 a.selected:visited:hover { background-color:#666; }

#netlinks {
  float:right;
}

/* third-level menu, appears on some pages */
#menu3 {
  margin-top:0px;
  margin-left:15%;
  margin-right:15%;
  margin-bottom:0px;
  padding:3px 7px 3px 7px;
  background-color:#fff;
  line-height: 1.4;
}

#menu3 a {
  color:#333;
  font-size:13px;
  font-family:verdana, sans-serif;
  text-decoration:none;
  white-space:nowrap;
  margin:2px 0px 2px 0px;
  padding:3px 10px 3px 10px;
  background-color:#ccc;
  cursor:pointer;
  position:relative;
  z-index:100;
}
#menu3 a:visited {
  color:#333;
}
#menu3 a:hover {
  background-color:#666;
  color: #fff;
}

#menu3 a selected {
  color:#fff;
  background-color:#dd0000;
  font-size:13px;
  font-family:verdana, sans-serif;
  text-decoration:none;
  white-space:nowrap;
  margin:2px 0px 2px 0px;
  padding:3px 10px 3px 10px;
  cursor:pointer;
  position:relative;
  z-index:100;
}

#menu3 a.selected:visited { color:#fff; background-color:#dd0000 }
#menu3 a.selected:link:hover { background-color:#666; }
#menu3 a.selected:visited:hover { background-color:#666; }

#menu3 .separator {
  font-family:verdana, sans-serif;
  padding:3px 0px 3px 0px;
  background-color:#ccc;
  color:#999;
  position:relative;
  z-index:100;
}

#myCarousel {
  margin-top:0px;
  margin-left:15%;
  margin-right:15%;
  margin-bottom:0px;
  padding:0px 7px 3px 7px;
  background-color:#fff;
  position:relative;
  top:-26px;
  z-index:99;
}

/* The page title, displayed on the very top of the page. E.g. LPAR 2013: 20th
 * International Conference ... */
#title {
  color:#888888;
  font-size:12pt;
  font-family:arial,sans-serif;
  padding:10px 10px 10px 10px;
  margin: 20px 15% 0px 15%;
  border:0px red solid;
  background-color:#fff;
  border-radius:10px 10px 0px 0px;
  height:50px;
}

.title_logo {
  font-size:24pt;
  font-family:arial,verdana, sans-serif;
  font-weight:bold;
  color:#5d5d75;
  float:left;
  padding:10px 20px 10px 10px;
  border:0px red solid;
}

.title_content {
  font-size:11pt;
  font-family:arial,verdana, sans-serif;
  font-weight:normal;
  color:#5d5d75;
  padding:10px 120px 10px 0px;
  border:0px red solid;
  margin:0px 0px 0px 0px;
}

/* The page content: everything not including menus */
#content {
  margin: 0px 15% 0px 15%;
  color:black;
  font-family:arial,sans-serif;
  font-size:10pt;
  padding:20px 20px 20px 20px;
  background-color:#fff;
  border:0px red solid;
}

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

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

#content_home {
  margin: 0px 15% 0px 15%;
  color:black;
  font-family:arial,sans-serif;
  font-size:10pt;
  padding:20px 20px 20px 20px;
  background-color:#fff;
  border:0px red solid;
  position:relative;
  top:-26px;
}

#content_home a, a:visited  {
  color: #464646;
}

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

#footer {
  color:#888888;
  font-size:16pt;
  font-family:verdana, sans-serif;
  padding:10pt 10pt 10pt 10pt;
  margin: 0px 15% 0px 15%;
  border:0px red solid;
  background-color:#ccc;
  border-radius:0px 0px 10px 10px;
  height:60px;
}

#footer_home {
  color:#888888;
  font-size:16pt;
  font-family:verdana, sans-serif;
  padding:10pt 10pt 10pt 10pt;
  margin: 0px 15% 0px 15%;
  border:0px red solid;
  background-color:#ccc;
  border-radius:0px 0px 10px 10px;
  height:60px;
  position:relative;
  top:-26px;
}

/* top-level section headings */
h1 {
  color:#333;
  font-size:16pt;
  font-family:arial, verdana, sans-serif;
  font-weight:bold;
  padding:0pt 0pt 15px 0pt;
} 

/* second-level section headings */
h2 {
  color:#888888;
  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: #eeeeee;
  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: 20pt;
}

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

/* 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;
}

/* 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 {}

/* 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 #aaaaaa 1px;
    border-bottom: solid #aaaaaa 1px;
    padding-top: 2pt;
    margin-bottom: 10pt;
}

/* submission abstract */
.sub_abstract_detailed {
}

/* submission title in the detailed list of accepted papers */
.sub_title_detailed {
    font-weight: bold;
}
#myCarousel img {
  width: auto\9;
  height: auto;
  max-width: 100%;
  vertical-align: middle;
  border: 0;
  -ms-interpolation-mode: bicubic;
}

.carousel {
  position: relative;
  margin-bottom: 0px;
  line-height: 1;
}

.carousel-inner {
  position: relative;
  width: 100%;
  overflow: hidden;
}

.carousel-inner > .item {
  position: relative;
  display: none;
  -webkit-transition: 0.6s ease-in-out left;
     -moz-transition: 0.6s ease-in-out left;
       -o-transition: 0.6s ease-in-out left;
          transition: 0.6s ease-in-out left;
}

.carousel-inner > .item > img {
  display: block;
  line-height: 1;
}

.carousel-inner > .active,
.carousel-inner > .next,
.carousel-inner > .prev {
  display: block;
}

.carousel-inner > .active {
  left: 0;
}

.carousel-inner > .next,
.carousel-inner > .prev {
  position: absolute;
  top: 0;
  width: 100%;
}

.carousel-inner > .next {
  left: 100%;
}

.carousel-inner > .prev {
  left: -100%;
}

.carousel-inner > .next.left,
.carousel-inner > .prev.right {
  left: 0;
}

.carousel-inner > .active.left {
  left: -100%;
}

.carousel-inner > .active.right {
  left: 100%;
}

.carousel-control {
  position: absolute;
  top: 40%;
  left: 15px;
  width: 40px;
  height: 40px;
  margin-top: -20px;
  font-size: 60px;
  font-weight: 100;
  line-height: 30px;
  color: #ffffff;
  text-align: center;
  background: #222222;
  border: 3px solid #ffffff;
  -webkit-border-radius: 23px;
     -moz-border-radius: 23px;
          border-radius: 23px;
  opacity: 0.5;
  filter: alpha(opacity=50);
}

.carousel-control.right {
  right: 15px;
  left: auto;
}

.carousel-control:hover {
  color: #ffffff;
  text-decoration: none;
  opacity: 0.9;
  filter: alpha(opacity=90);
}

/* Chairs: ...chair names...*/
.session_chair {
    margin: 2pt 0pt 2pt 5pt;
}

/* The word "Chairs in" Chairs: ...chair names... */
.chair_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;
}

.lpar {
  text-color: #000000;
  background-color: #ddddff;
}

.alcs {
  text-color: #000000;
  background-color: #ddffdd;
}

.alfas {
  text-color: #000000;
  background-color: #ffddff;
}

.iwil {
  text-color: #000000;
  background-color: #ddffff;
}

.lrcm {
  text-color: #000000;
  background-color: #ffdddd;
}