p { margin-left: 15px; } 

h1 {
  color: #4F98E3;
  text-align: left; 
  font-weight: normal; 
} 

h2 {
  color: #4F98E3;
  text-align: left; 
  font-weight: bold; 
  font-size: 10pt;
} 

h3 {
  color: #4F98E3;
  text-align: left; 
  font-weight: normal; 
  font-size: 9pt;
} 

a:link { 
  color: #000000; 
}

a:visited { 
  color: #000000; 
} 

a:active { 
  color: #000000; } 

img {
  border: none;
}

ul { 
  list-style-type: square; 
} 

li { 
  padding: .1em .1em .1em .1em; 
} 

dt {
  float: left;
  clear: left;
  width: 100px;
  text-align: right;
  font-weight: bold;
  color: #5F5F5F;
}

dt:after {
  content: ":";
}

dd {
  margin: 0 0 0 110px;
  padding: 0 0 0.5em 0;
}

body { 
  background-image: url("security.jpg");  
  background-color: #ffffff; 
  color: #000000; 
} 

div#content { 
  margin: 60px 0px 60px 0px;
  /* padding: .4em .4em .4em .4em; */
  font-family: Trebuchet, Verdana, Lucida Sans, Helvetica, sans-serif; 
  width: 600px; 
  border: 1px solid black; 
  background-color: #ffffff; 
  margin-left: auto;
  margin-right: auto; 
  font-size: 9pt; 
} 


div#banner { 
  border: 0px solid green;
  background-repeat: no-repeat; 
  height: 100px; 
  background-image: url("banner.jpg");  
  background-color: white; 
}

div#bannertop { 
  text-align: right;
  font-size: 7pt;
  padding: .5em 2em 0em 0em; 
  border: 0px solid green;
  height: 30px; 
  color: white;
}

div#bannertop a { 
  color: white;
  text-decoration: none;  
}

div#bannercenter { 
  padding: 0em 0em 0em 2em; 
  border: 0px solid green;
  height: 55px; 
  color: white;
}

span#name { 
  font-size: 18pt;
}

span#subname { 
  font-size: 10pt;
}

div#bannerbottom { 
  border: 0px solid red;
  height: 9px; 
}

div#navigation{
  clear: both;
  height: 40px;
  width: 600px;
  border-style: solid;
  border-width: 0px;
  border-color: yellow; 
  display: block;
}

div#navigation ul{
  width: 600;
  list-style: none;
  margin: 0;
  padding: 0;
}

div#navigation ul li{
  font-size: 12pt;
  float: left;
  margin: 2px 2px 2px 2px;
  padding: 2px 0px 0px 0px;
  background-image: url("button.jpg"); 
  background-repeat: no-repeat; 
  /* background:  #5f5f5f; */
  text-align: center;
  vertical-align: top;
  height: 35px;
}

div#navigation ul li a{
  margin: 2px 0 0 0;
  padding: 0;
  font-size: 12px;
  /*	font-weight: bold;*/
  color: #FFFFFF;
  text-decoration: none;
  /* text-transform: uppercase; */
  font-size: 8pt;
  height: 20px;
  display: block;
}

#home{width:96px;}
#research{width:96px;}
#publications{width:96px;}
#teaching{width:96px;}
#ictf{width:96px;}
#hacking{width:96px;}

/* column container */
.colmask {
  border: 0px solid red; 
  margin: 0px 0px 20px 0px;
  position:relative;	/* This fixes the IE7 overflow hidden bug */
  clear:both;
  float:left;
  overflow:hidden; 	/* This chops off any overhanging divs */
}

/* common column settings */
#colleft {
  float:left;
  width:100%;
  position:relative;
}
#col1,
#col2 {
  float:left;
  position:relative;
  padding:0 0 2em 0;
  overflow:hidden;
}
/* 2 Column (right menu) settings */
.rightmenu {
    /* border-left: 1px dashed #CCCCCC; */
  background:#ffffff;		/* right column background colour */
}
.rightmenu #colleft {
  right:25%;			/* right column width */
  background:#ffffff;		/* left column background colour */
}

#col1 {
  border: 0px solid blue; 
  padding: 0px 5px 0px 0px; 
  width:71%;			/* left column content width (left column width minus left and right padding) */
  left:25%;			/* (right column width) plus (left column left padding) */
}

#col2 {
  padding: 0px 0px 0px 5px; 
  font-size: 8pt;
  border: 0px solid green; 
  width: 26%;			/* right column content width (right column width minus left and right padding) */
  left: 25%;			/* (right column width) plus (left column left and right padding) plus (right column left padding) */
  border-left: 1px dashed #CCCCCC;
}

div#col2 ul { 
  margin: 0px 0px 0px 0px;
  padding: 0px 0px 0px 15px; 
}

#main {
  border: 0px solid red; 
  margin: 0px 0px 0px 0px;
  padding: 0px 15px 10px 15px; 
}

span.newsdate { 
  color: #5f5f5f;
  font-weight: bold;
}

div#rightcolumn ul { 
  margin: 0px 0px 0px 5px;
  padding: 0px 0px 0px 0px;
}

div#mypicture { 
  margin: 0px 10px 10px 10px;
  padding: 0px 0px 0px 0px;
  border: 0px solid red;
  float: left; 
  width: 150px;
  text-decoration: none;  
}

div#contact { 
  clear: left;
  width: 400px;
  margin: 0px 10px 10px 10px;
  padding: 0px 0px 0px 0px;
}

div#footer {
  padding: .4em 1em 1em .4em; 
  margin: 0px 0px 0px 0px;
  border: 0px solid red;
  font-style: italic; 
  font-size: 7pt; 
  text-align: right; 
}

/* Document definitions */
div.docs {
  /* border-style: solid;
  border-width: medium;
  border-color: darkred;*/
}

span.doctitle {
  font-weight: bold;
  display: block;
}

span.docauthors {
  display: block;
}

span.docauthors:after {
  content: ".";
}

span.dochowpub:after {
  content: ",";
}

span.docpublisher:after {
  content: ",";
}

span.docisbn:before {
  content: "ISBN ";
}

span.docisbn:after {
  content: ",";
}

span.docproc {
  font-style: italic;
}

span.docproc:before {
  content: "In ";
}

span.docproc:after {
  content: ",";
}

span.docjournal {
  font-style: italic;
}

span.docjournal:after {
  content: ",";
}

span.docnum:after {
  content: ",";
}

span.docnote {
  font-style: italic;    
}

span.docnote:after {
  content: ".";
}

span.docpages:before {
  content: "pp. ";
}

span.docpages:after {
  content: ",";
}

span.docwhere:after {
  content: ",";
}

span.doctype:after {
  content: ",";
}

span.docwhen:after {
  content: ".";
}

span.doclink {
  display: block;
}

span.doclink:before {
  content: "[";
}

span.doclink:after {
  content: "]";
}