/* http://colorschemedesigner.com/#0O22c6SrXMnOc
   primary colors:
     #dfccaf
     #898277
     #664612
     #f9ecd9
     #f9f3ea
   secondary colors:
     #758292
     #4f545a
     #0c2543
     #cedae9
     #dce2e9
*/

body {
  background-color: white;
  font-family: "Lucida Grande", "Lucida Sans Unicode", Tahoma, "Trebuchet MS", Verdana, 
              Geneva, Helvetica, Arial, SunSans-Regular, sans-serif; 
  font-size: 13px;
}

a {
  color: #758292;
  text-decoration: none;
}

a:visited {
  color: #758292;
}

a:active, a:hover {
  color: #0c2543;
  border-bottom: 1px dotted #0c2543;
}

a.nomarkup:hover, a.nomarkup:active {
  border-bottom: none;
}

#card {
  margin-left: auto;
  margin-right: auto;
  border: 1px solid #758292;
  height: 320px;
  width: 700px;
  padding: 10px;
  background: #f9ecd9;
  color: #0c2543;
  font-size: 16px;
  border-bottom: 1px dotted #758292;
}

#card p {
  padding-left: 20px;
  padding-top: 4px;
  padding-bottom: 4px;
}

#card #photo {
  float: right;
  border: 1px solid #758292;
}

#card h1 {
  font-family: sans-serif;
  text-align: center;
  color: #0c2543;
}

#linkbar {
  margin-left: auto;
  margin-right: auto;
  width: 720px;
  background: #f9f3ea;
  border: 1px solid #758292;
  border-top: none;
}

#linkbar a {
  display: inline-block;
  width: 114px;
  text-align: center;
}

#linkbar a:active, #linkbar a:hover {
  color: #0c2543;
  border-bottom: none;
}

#publications {
  margin-top: 20px;
  margin-left: auto;
  margin-right: auto;
  width: 700px;
}

#teaching {
  margin-top: 20px;
  margin-left: auto;
  margin-right: auto;
  width: 700px;
}

#interests {
  margin-top: 20px;
  margin-left: auto;
  margin-right: auto;
  width: 700px;
}

#publications li {
  margin-bottom: 8px;
}

.paper {
  background-color: #fcfdfe;
  border: 1px solid #dce2e9;
  padding: 3px;
  margin: 10px;
}

.paper .title {
  font-weight: bold;
}

.paper .detail {
  font-style: italic;
}

.paper a {
  color: #000000;
}

.paper .link {
  color: #bbbbbb;
}

#filters {
  background-color: #cedae9;
  border: 1px solid #758292;
  padding: 3px;
  margin: 10px;
  color: #0c2543;
}

#filters table {
  font-size: 13px;
}

#filtertotal {
  color: #758292;
}