/* vbc.css */

body {
  color: black;
  font-family: "Helvetica", "Tahoma", "Verdana", sans-serif;
  font-size: 11pt;
  padding: 0;
  margin: 0;
  line-height: 150%;
}

#header {
/*  border-bottom: solid thin gray; */
  margin-bottom: 2ex;
}

#menu {
  float: left;
  width: 27ex; /* needs to match #content::margin-left */
/*  height: 80%; */
  padding: 0px;
  margin: 0px;
/*  background-color: #fafafa; */
}

#menu ul {
  margin-left: 0;
  padding-left: 2ex;
}

#menu li {
  list-style-type: none;
  font-size: large;
  font-weight: bold;
  font-variant: small-caps;
  padding-bottom: 3ex;
  
}

#content {  
  margin-left: 27ex; /* needs to match #menu::width */
/*  overflow: auto; */
/*  border-left: solid thin gray; */
/*  height: 80%; */
/*  background-image: url('images/menu-bg.png'); */
  background-repeat:no-repeat;
}

#footer {
  clear: both;
/*  border-top: solid thin gray; */
  text-align: center;
  height: 4ex;
}

#header img {
  height: 60px;
}

#header td {
/*  vertical-align: middle; */
}

h1 {
  font-variant: small-caps;
}

h2 {
/*  padding-top: 1.5ex; */
  font-variant: small-caps;
/*  font-size: smaller; */
}

img {
  vertical-align: middle;
  padding-right: 1ex;
}

th {
  text-align: left;
  font-size: larger;
}

.partners TD {
  padding: 2ex;
  margin: 2ex;
}

DIV.staff {
  clear: both;
/*  background: #F8F8FF; */
  vertical-align: middle;
}

.staff img {
  float: left;
  margin-right: 2ex;
  margin-bottom: 1ex;
}

.staffname {
  font-variant: small-caps;
  text-decoration: underline;
  /* font-size: 125%; */
  margin-bottom: 0.5em;
}

.staff P {
  font-size: smaller;
}

.staffjob {
  font-style: italic;
  color: #888;
}

DIV.pubs {
  font-size: smaller;
/*  font-family: serif; */
}

DIV.pubs LI {
  padding-bottom: 1ex;
}

LI.conference {
  color: gray;
}

TABLE.software {
  border-spacing: 1ex;
/*  vertical-align: top; */
}

TABLE.software TR TD:first-child {
  text-align: center;
}

CODE {
  display: block;
  padding-left: 2ex;
  font-family: monospace;
}

DIV.pubs LI U {
  text-decoration: none;
  border-bottom: 2px solid orange;
}

P.licence {
  font-size: smaller;
  font-style: italic;
}

.documents LI {
/*  margin-bottom: 1ex; */
}

.vt100 {
  width: auto;
  font-family: monospace;
  font-style: bold;
  background: black;
  color: #0F0;
  padding: 1em;
  border: 1em solid gray;
}

#seealso {
  font-variant: small-caps;
  font-size: larger;
  font-family: sans-serif;
}