/* this is an example CSS that defines styles for all classes
    available in the class pulldown of the table. of course 
    customizations can include completely different styles, and
    also for different elements (changeable or not) */

table {
    border-width: 0px;
    padding: 3px;
}

table.plain td {
    border-width: 1px;
    border-style: solid;
    border-color: black;
}

table.listing {
    border-width: 0px;
}

table.listing td {
    border-style: solid;
    border-width: 1px;
    border-color: black;
}

table.listing th {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background-color: gray;
    color: white;
}

table.grid {
    border-width: 0px;
}

table.grid td {
    border-style: solid;
    border-width: 1px;
    border-color: black;
}

table.grid th {
    border-style: solid;
    border-width: 1px;
    border-color: black;
}

table.data {
    border-style: solid;
    border-width: 1px;
    border-color: black;
}

table.data td {
    border-style: solid;
    border-width: 1px;
    border-color: gray;
}

table.data th {
    border-style: solid;
    border-width: 1px;
    border-color: gray;
}

body { 
  position: relative;
  background: #e8f0dd;
  margin: 0px;
  padding: 25px 30px 30px 50px;
  background-repeat: no-repeat;
  background-position: right bottom; 
  background-attachment: fixed;
}

p {
  margin: 10px 0px 10px 0px;
  padding: 0px;
}

p.wed {
    /* background-color: DarkSeaGreen; */
    background-color: rgb(0,200,0); /* green */
}

p.thur {
    /* background-color: LightCyan; */
    background-color: rgb(0,200,200); /* cyan */
}

/* for the case where the two groups are at the same lecture/exercise */
p.wedthur {
    background-color: rgb(0,150,75); /* (green + cyan)/2 */
}

dl { 
  padding: 2px; 
  margin-left: 1ex; 
}

dt {
  font-weight: bold;
  margin-top: 3px; 
  margin-bottom: 3px;
  padding: 3px 4px 3px 4px; 
}

dd { 
  margin-top: 3px;
  margin-bottom: 3px;
  padding-top: 3px;
  padding-bottom: 3px;
}

ul { 
  margin-left: 2ex; 
  margin-right: 2ex;
  padding: 2px 1px 2px 3.5ex;	
}

li { 
  margin-top: 3px;
  margin-bottom: 3px;
  padding-top: 2px;
  padding-bottom: 2px;
}

h1, h2 {
  border: 1px solid #aaaaaa;
  background: #ffffff;
  padding: 4px 8px 4px 8px;
  margin: 30px 0px 20px -20px;
  overflow: visible;
}

h3, h4, h5, h6 { 
  padding: 2px 0px 2px 8px;
  margin: 20px 0px 10px -20px;
  font-weight: bold;
}

pre {
  border: 1px solid #888888;
  background: #ffffff; 
  padding: 8px 4px 8px 8px;
  margin-left: 2ex;
  margin-right: 2ex;
}

span.rtl { 
  direction: rtl;
  unicode-bidi: bidi-override;
}

.navbar {
  position: fixed;
  width: auto;
  top: 0px;
  right: 0px;
  border-top: 0px;
  border-right: 0px;
  border-bottom: 1px solid #dddddd;
  border-left: 1px solid #dddddd;
  background: #ffffff;
  padding: 4px;
  text-align: right;
}

.navbar a { 
  text-decoration: none;
}

.nameplate { 
  position: relative;
  width: 100%;
}

.nameplate div { 
  position: absolute;
  padding: 4px 8px 4px 8px;
  top: 0px;
  right: 0px;
}

#bottom_notice { 
  font-size: small;
  text-align: center;
  width: 60%;
  margin-left: auto;
  margin-right: auto;
  margin-top: 40px;
}

img {
  border: 0px;
  padding: 10px;
}

img.image-right { 
  float: right;
}