//div, p, ul, li, ol, img {border: 1px solid red ;}
html, body, div, img, table, td, tr, tbody {
    margin: 0px ;
    padding: 0px ;
}
pre, code {
    font-family: 'Lucida Console', 'Andale Mono', 'Courier', monospaced ;
}
a.clean {
    text-decoration: inherit ! important ;
    color: inherit ! important ;
}
table {
    font: inherit ;
    color: inherit ;
}
html {
    background: #f3f3f3 ;
}
body {
    margin-left: auto ;
    margin-right: auto ;
    margin-bottom: 0.5em ;
    width: 60em ;
    font-family: 'Arial', 'Helvetica', sans-serif ;
    font-size: 14px ;
}
h1, h2, h3, h4, h5, h6 {
    font-weight: normal ;
}
#pagebody {
    background-color: white ;
    padding-bottom: 1em ;
    border: 1px solid #aaa ;
    border-top: none ;
}
#content {
    float: right ;
    width: 48em ;
    line-height: 1.3em ;
    padding-right: 1em ;
//    font-family: Georgia, serif;
}
#sidebar {
    float: left ;
    width: 9.9em ;
    padding: 0em ;
}
#sidebar ul {
    margin: 0 ;
    padding: 0 ;
    margin-left: 1em ;
    margin-top: 1em ;
    margin-bottom: 0em ;
    color: #555 ;
}
#sidebar ul ul {
    margin-top: 0em ;
    margin-bottom: 1em ;
}
#sidebar li {
    list-style: none ; /* for buggy IE */
    display: block ;
    margin: 0px ;
    padding: 0px ;
    margin-top: 0.5em ;
    margin-bottom: 1em ;
    font-weight: bold ;
}
#sidebar li li {
    font-weight: normal ;
    text-transform: none ;
    margin-bottom: 0.5em ;
}
#sidebar li .active {
    color: white ;
    background: #555 ;
    padding: 3px ;
}
#sidebar li a {
    color: #555 ;
    text-decoration: none ;
}
#sidebar li .active a {
    color: white ;
    text-decoration: none ;
}
#header {
    padding-top: 1em ;
    padding-left: 1em ;
    padding-bottom: 1em ;
}

#headerbanner {
  background-color: #555 ;
  font-weight: bold ;
  color: white ;
  padding: 0.5em 1em ;
}
#header h1 {
    margin: 0 ;
    color: #555 ;
}
#header #cse-search-box {
    float: right ;
    margin-right: 1em ;
}
#footer {
    clear: both ;
    text-align: center ;
    color: #555 ;
    padding: 0.5em ;
    font-size: 0.9em ;
}
div.clear {
    clear: both ;
    font-size: 1px ;
    line-height: 1px ;
    margin: 0px ;
    padding: 0px ;
}
.standout {
    margin: 1em ! important ;
//    font-family: Georgia, serif ;
    font-style: italic ;
    color: red ! important ;
}

/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
/*                                               Main content style */
/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

#content h1,
#content h2,
#content h3,
#content h4,
#content h5,
#content h6 {
    clear: both ;
    margin: 1em 0 ;
    margin-top: 1.5em ;
}
#content h1 {font-size:1.7em; margin-bottom: 0.59em;}
#content h2 {font-size:1.5em; margin-bottom: 0.67em;}
#content h3 {font-size:1.3em; margin-bottom: 0.77em;}
#content h4 {font-size:1.2em; margin-bottom: 0.83em;}
#content h5 {font-size:1.0em; margin-bottom: 1.00em;}
#content h6 {font-size:0.8em; margin-bottom: 1.15em;}
#content p,
#content blockquote {
    margin: 1em 0 ;
    padding: 0 ;
    padding-right: 10em ;
}
#content blockquote {
    margin: 1em ;
    font-style: italic ;
}
#content pre {
    margin: 1em 0 ;
    padding: 0 ;
}
#content ul,
#content ol {
    margin-left: 0;
    padding-left: 0 ;
}
#content li {
    margin-left: 1.2em ;
    padding-left: 0 ;
}
#content ol li {
    margin-left: 2em ;
}
#content dt {
    display: block ;
    float: left ;
    font-weight: bold ;
    width: 7em ;
    margin: 0 ;
    padding: 0 ;
    text-align: right;
}
#content dd {
    display: block ;
    margin: 0.1em  0 ;
    padding-left: 8em ;
}
#content .centered {
    display: block ;
    margin-left: 2em ;
}
#content div.figure {
    margin-left: 2em ;
    margin-top: 1em ;
    margin-bottom: 1em ;
}
#content div.caption {
    font-family: Georgia, serif ;
    font-style: italic ;
}
#content img.image-right {
    float: right ;
}
#content img.icon-right {
    float: right ;
    width: 64px ;
    padding-right: 2em ;
    margin-bottom: 1em ;
}
#content img.icon-left {
    float: left ;
    width: 64px ;
    margin-right : 1em ;
    margin-bottom: 1em ;
}
#content div.highlight {
    padding: 0.5em 1em ;
    border-top: 1px solid #ddd ;
    border-bottom: 1px solid #ddd ;
    background-color: #fafafa ;
}
#content code {
    color: #8f0000 ;
}
#content div.frame {
    border: 1px solid #eee ;
/*    border-radius: 3px;*/
    padding: 0em 1em ; ;
    background-color: #fafafa ;
    margin-bottom: 1em ;
}
#content h1.frame {
    color: white ;
    background-color: #555 ;
    font-size: 0.9em ;
    margin: 0 ;
    padding: 0.1em 0.5em ;
}

/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */
/*                                                     Publications */
/* ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ */

#y2011:before,
#y2010:before,
#y2009:before,
#y2008:before,
#y2007:before,
#y2006:before,
#y2005:before {
    display: block ;
    font-size:  1.2em ;
    margin-top: 1em ;
    margin-bottom: .5em ;
//    color: rgb(54,62,62) ;
//    font-family: Georgia, serif ;
}

#y2011:before { content: '2011';  }
#y2010:before { content: '2010';  }
#y2009:before { content: '2009';  }
#y2008:before { content: '2008';  }
#y2007:before { content: '2007';  }
#y2006:before { content: '2006';  }
#y2005:before { content: '2005';  }

#y2011,
#y2010,
#y2009,
#y2008,
#y2007,
#y2006,
#y2005 {
    margin: 0px ;
    margin-bottom: 2em ;
    padding: 0px;
}
div.pub {
    margin-top:       0em;
    margin-bottom:    1em ;
    padding-right:    5em ;
}
div.pub span.links {
    white-space: nowrap ;
    font-size: 0.9em ;
    font-weight: normal ;
    font-family: 'Helvetica', sans-serif;
}
div.pub span.links:before {content: '(';}
div.pub span.links:after  {content: ')';}
div.pub pre {
    font-size:   0.9em ;
}
span.title {
    color:  rgb(30,30,30);
    font-weight: bold;
}
div.pub span.conf {
    font-style: italic;
}
.award {
    font-weight: bold ;
    color: red ;
}