html, body { font-family: georgia,tahoma,verdana,arial,sans-serif; margin: 0px; padding: 0px; font-size: 100%; line-height: 1.3rem; }

body h1 { margin-top: 0px; margin-bottom: 3px; padding-left: 5px; color: #550011; padding-right: 4px;
          border-left-style: solid; border-bottom-style: solid; border-color: #DDDDDD; border-width: 1px; font-size: 130%; }
body h2 { margin-top: 0px; margin-bottom: 5px; padding-left: 0px; color: #330011;
          border-bottom-style: solid; border-color: #DDDDDD; border-width: 1px; font-size: 120%; }
body h3 { margin-top: 0px; margin-bottom: 5px; padding-left: 0px; color: #553333; font-size: 105%; 
          border-left-style: dotted; border-color: #DDDDDD; border-width: 1px; }
body h4 { margin-top: 0px; margin-bottom: 5px; padding-left: 0px; color: #221111; font-size: 100%; 
	  border-left-style: dotted; border-color: #DDDDDD; border-width: 1px; }
code { background-color: #f4f4f4; font-family: "andale mono", "monotype.com", "courier new", monospace; font-size: 90%;} 

a.nav { color: #333333; font-family: arial,helvetica,sans-serif; font-size: 13px; font-weight: bold; text-decoration: none; }

a.nav { color: #333333; font-family: arial,helvetica,sans-serif; font-size: 13px; font-weight: bold; text-decoration: none; }

.header { background: #ccccfc; border-bottom-style: solid; border-color: black; border-width: 1px; }
#header_title { color: #666666; font-family: arial,helvetica,sans-serif; font-size: 11px; font-weight: bold; }

blockquote { border-left: 1px solid #eedddd; padding-left: 15px;  }

a:link { text-decoration: none; color: #6600CC; border-bottom: 1px dotted #eeeeee; }
a:visited { text-decoration: none; color: #6600CC; border-bottom: 1px dotted #eeeeee; }
a:hover { text-decoration: none; border-bottom: 1px dotted #000000; }

.header a { color: #000000; }
.header a:hover { text-decoration: none; border-bottom: none; }

#content li { margin-bottom: 0.3rem; }
#content td { font-style: italic; font-size: 85%; text-align: center }

a.blog_heading_link { color: #550011; }

#content { margin-left: 1em; margin-top: 0.75em; margin-right: 1em; max-width: 760px; }

.round_blob { background: #DDEEFF; -moz-border-radius: 3px; -webkit-border-radius: 5px; border: 1px dotted #AAAADD; 
              padding: 5px; }

td.divider { border-width: 1px; border-right-style: solid; border-color: #DDDDDD; }

div.blog_info { color: #555555; font-style: italic; text-align: left; font-size: 80%; margin-top: 0px; margin-bottom: 5px; }
div.paper_title { font-weight: bold; }
div.paper_authors { font-style: italic; }
div.paper_info { }
table.paper_year { padding-bottom: 5px; width: 760px; }
td.paper_year { border-left-style: dotted; border-bottom-style: dotted; border-color: #DDDDDD; border-width: 1px; 
                padding: 3px; padding-top: 6px; font-family: tahoma; font-size: 100%; font-weight: light; vertical-align: top; 
                width: 2em; }
div.paper_entry { padding-left: 8px; padding: 4px; margin: 3px; margin-bottom: 5px; background: #F5F5FA; 
                  -moz-border-radius: 6px; -webkit-border-radius: 6px; font-size: 90%; }
div.paper_entry:hover { color: #000000; background-color: #DDEEFF; text-decoration: none; }
div.paper_links { padding-top: 5px;}
a.paper_link { font-size:75%; background: #EEEEFF; color: #444444; border-width: 1px; border-color: #CCCCCC; border-style: solid; -moz-border-radius: 3px; -webkit-border-radius: 3px; padding: 1px; font-family: tahoma, sans-serif; font-weight: light; font-size: 90%; }
a.paper_link:hover { background: #DEDEFF; font-size: 90%; }
div.paper_linkbar { padding-top: 5px; font-family: georgia, tahoma, sans-serif; font-variant: small-caps; font-size: 90%; text-align: left; }

.footer { border-color: #555555; border-top: #666666 solid 1px; color: #333333; font-family: arial, helvetica, sans-serif; font-size: 11px; }

td.date { border-right: #cccccc solid 1px; color: #663333; font-style: italic; text-align: right; white-space: nowrap; }
td.content { border-bottom: #cccccc solid 1px; }
td.source { border-bottom: #cccccc solid 1px; border-left: #cccccc solid 1px; white-space: nowrap; font-style: italic; font-size: 95%; }
.highlight  { background: #ffffff; }
.highlight .c { color: #999988; font-style: italic } /* Comment */
.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.highlight .k { font-weight: bold } /* Keyword */
.highlight .o { font-weight: bold } /* Operator */
.highlight .cm { color: #999988; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #999999; font-weight: bold } /* Comment.Preproc */
.highlight .c1 { color: #999988; font-style: italic } /* Comment.Single */
.highlight .cs { color: #999999; font-weight: bold; font-style: italic } /* Comment.Special */
.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.highlight .gd .x { color: #000000; background-color: #ffaaaa } /* Generic.Deleted.Specific */
.highlight .ge { font-style: italic } /* Generic.Emph */
.highlight .gr { color: #aa0000 } /* Generic.Error */
.highlight .gh { color: #999999 } /* Generic.Heading */
.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.highlight .gi .x { color: #000000; background-color: #aaffaa } /* Generic.Inserted.Specific */
.highlight .go { color: #888888 } /* Generic.Output */
.highlight .gp { color: #555555 } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #aaaaaa } /* Generic.Subheading */
.highlight .gt { color: #aa0000 } /* Generic.Traceback */
.highlight .kc { font-weight: bold } /* Keyword.Constant */
.highlight .kd { font-weight: bold } /* Keyword.Declaration */
.highlight .kp { font-weight: bold } /* Keyword.Pseudo */
.highlight .kr { font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #445588; font-weight: bold } /* Keyword.Type */
.highlight .m { color: #009999 } /* Literal.Number */
.highlight .s { color: #d14 } /* Literal.String */
.highlight .na { color: #008080 } /* Name.Attribute */
.highlight .nb { color: #0086B3 } /* Name.Builtin */
.highlight .nc { color: #445588; font-weight: bold } /* Name.Class */
.highlight .no { color: #008080 } /* Name.Constant */
.highlight .ni { color: #800080 } /* Name.Entity */
.highlight .ne { color: #990000; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #990000; font-weight: bold } /* Name.Function */
.highlight .nn { color: #555555 } /* Name.Namespace */
.highlight .nt { color: #000080 } /* Name.Tag */
.highlight .nv { color: #008080 } /* Name.Variable */
.highlight .ow { font-weight: bold } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mf { color: #009999 } /* Literal.Number.Float */
.highlight .mh { color: #009999 } /* Literal.Number.Hex */
.highlight .mi { color: #009999 } /* Literal.Number.Integer */
.highlight .mo { color: #009999 } /* Literal.Number.Oct */
.highlight .sb { color: #d14 } /* Literal.String.Backtick */
.highlight .sc { color: #d14 } /* Literal.String.Char */
.highlight .sd { color: #d14 } /* Literal.String.Doc */
.highlight .s2 { color: #d14 } /* Literal.String.Double */
.highlight .se { color: #d14 } /* Literal.String.Escape */
.highlight .sh { color: #d14 } /* Literal.String.Heredoc */
.highlight .si { color: #d14 } /* Literal.String.Interpol */
.highlight .sx { color: #d14 } /* Literal.String.Other */
.highlight .sr { color: #009926 } /* Literal.String.Regex */
.highlight .s1 { color: #d14 } /* Literal.String.Single */
.highlight .ss { color: #990073 } /* Literal.String.Symbol */
.highlight .bp { color: #999999 } /* Name.Builtin.Pseudo */
.highlight .vc { color: #008080 } /* Name.Variable.Class */
.highlight .vg { color: #008080 } /* Name.Variable.Global */
.highlight .vi { color: #008080 } /* Name.Variable.Instance */
.highlight .il { color: #009999 } /* Literal.Number.Integer.Long */