/* overall style */

body {	
  /* to circumvent ie auto alignment bug */
  text-align: center;

  /* margin: 2em 2em 2em 2em; */
  margin: 0;
  padding: 0;

  background-color: white; /* #F6F3F3; */
  color: black;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: x-small;
}

h3 {
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
  font-size: small;
  font-weight: bold;
}

h2 {
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
  font-weight: bold;	
  font-size: medium;

  border-top: 1px solid #CCCCCC;
  border-bottom: 1px solid #CCCCCC;

  background-color: #F6F3F3;

  padding : 3px 0px 3px 0px;
  margin: 3px 0px 3px 0px;
}	

h1 {
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
  font-weight: bold;	
  font-size: large;
}

a:link, a:visited, a:active {
  text-decoration: none;
  color: #006699;
  background-color: transparent;
}

a:hover {
  text-decoration: underline;
  color: #006699;
  background-color: transparent;
}

/* whole content */

#content { 
  /* to circumvent ie auto alignment bug */
  text-align: left;

  /* background-color: white; */

  width: 520px;
  height: 1020px;
  padding:15px 5px 20px 5px;
  /* padding:50px 50px 50px 50px; */
  margin-right:auto;
  margin-left:auto;
  margin-top:0px;
  margin-bottom:0px;
}

/* contact section */

#contact {}

#contact dl {}

#contact dt {
  font-family: "Trebuchet MS", Verdana, Arial, Helvetica, sans-serif;
  font-weight: bolder;
  font-size: small;
  margin:0 0 0 0;
  padding:0.3ex 0 0.2ex 0;
/*    border-style: dashed; */
/*    border-width: medium; */
/*    background: yellow; */
}

#contact dd {
  margin: 0 0 0 0;
  padding:0 0 0.3ex 0;
/*    border-style: dashed; */
/*    border-width: medium; */
/*    background: blue; */
}

/* publications section */

#publications .heee {
  font-weight: bolder;
}
	
#publications ul {
  margin:0 0 0 0;
  padding: 0 0 0 0;
  list-style-type: none;
}

#publications li {  
  margin:0 0 0 0;
  padding: 0.7ex 0 0.7ex 0;
  list-style-type: none;
}

/* teaching section */
	
#teaching ul {
/*    border-style: dashed; */
/*    border-width: thin; */
  margin:0 0 0 0;
  padding: 0ex 0 1ex 0;
  list-style-type: none;
}

#teaching li {  
/*    border-style: dotted; */
/*    border-width: thin; */
  margin:0 0 0 0;
  padding: 0 0 0 0;
  list-style-type: none;
}

/* hacking section */
	
#hacking ul {
/*    border-style: dashed; */
/*    border-width: thin; */
  margin:0 0 0 0;
  padding: 0.7ex 0 0.7ex 0;
  list-style-type: none;
}

#hacking li {  
/*    border-style: dotted; */
/*    border-width: thin; */

  margin:0 0 0 0;
  padding: 0 0 0 0;
  list-style-type: none;
}

div.last-mod { 
  font-style: italic;
  font-size: x-small;
  text-align: right;
}

ul { 
  padding-left: 25px;
}

ul.publications { 
  list-style-type: none;
  padding-left: 0;
}

.publications li { 
  margin-bottom: 10px;
}

.publications em.author {  
  font-weight: bold;
  color:  #4d4d4d;
  font-style: normal;
}

.publications em.title {  
  font-weight: bold;
  font-style: inherit;
}

.publications em.book {  
  font-style: italic;
}