body {
  background-color: rgb(90%,90%,90%);
  margin: 5% 5% 5% 10%;
  line-height: 130%;
}

.logo {
  float: left;
  margin-left: -8%;
  margin-top: -7%;
}

h1,h2,h3,h4,h5,h6 {
  margin-left:   -7%;
  margin-top:    3ex;
  color:         #44c;
  line-height:   150%;
  padding-left:  0.5em;
}

*.textbf {
  font-weight: bold;
  font-family: serif;
  color: #c44;
}

*.textsf {
  font-weight: bold;
  font-family: san-serif;
  color: #44c;
}

code, *.code, pre, tt {
  font-family: monospace;
  font-weight: bold;
  color: #a44;
  background: transparent;
}

pre, div.alltt {
  background: #bbf;
  padding: 3ex;
  border-style: groove;
  line-height: 100%;
}

em, *.textit {
  font-weight: bold;
  font-style: oblique;
  color: #44c;
  background: transparent;
}

*.strikeout {
  text-decoration: line-through
}

strong {
  color: #c44;
  font-weight: bold;
}

dt {
  font-weight: bold;
}

address {
    margin-left: 80%;
    line-height: 100%;
}

blockquote {
  background: #bbf;
  background: transparent;
}

div.column {
  color: inherit;
  background: #afa;
  padding: 3ex;
  border-style: groove;
}

div.exercise {
  color: inherit;
  background: #faa;
  padding: 3ex;
  border-style: groove;
}

*.caution {
  color: #22f;
  font-weight: bold;
}

.days { 
	color: blue; 
	list-style-type: none;
	margin-left: 0em;
	margin-top: 1ex;
	margin-bottom: 1ex;
}
.sessions {
	margin-left: 1em;
	list-style-type: none;
}
.sessiontitle {
	margin-top: 1ex;
	display: block;
	border-bottom: solid;
}
.sessionchair {
	margin-left: 1em;
	font-size: x-small;
}
.papers { 
	color: black;
	font-style: italic;
	font-weight: bold;
}
.author {
	font-style: normal;
	font-weight: normal;
	text-align: right;
	display: block;
	width: 80%;
	margin-left: auto;
	margin-right: 0pt;
}
.original {
	font-style: normal;
	font-weight: normal;
	font-size: x-small;
}

.paper {
	font-style: normal;
	font-weight: normal;
	font-size: x-small;
	background-color: #ff0;
	border-style: solid;
	border-width: 1px;
	border-color: #ff8 #880 #880 #ff8;
}