body {
       margin: 0px 0px;;
       background-color: #ffffff;
       color: #303030;
       font-family: georgia, serif;
       background-image: url('/graphics/blogbg1b.gif');
}


/* Global styles */

a {
	font-weight: bold;
	color: #1828a0;
}
a:link {
	text-decoration: none;
}
a:visited {
	text-decoration: none;
}
a:hover {
	text-decoration: underline;
}

h1 {
    padding-top: 0.2em;
    font-size: 1.5em;
}
h2 {
     font-size: 1.2em;
}
h3 {
     font-size: 1.1em;
}
h4 {
     font-size: 1.05em;
     font-weight: bold;
     font-style: italic;
}
h5 {
     font-size: 1.0em;
     font-weight: normal;
     font-style: italic;
}
h6 {
     font-size: 1.0em;
}

h1 a, h2 a, h3 a, h4 a {
	font-weight: bold;
	color: #000080;
}
h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited {
	text-decoration: none;
	color: #404080;
}

h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover {
	text-decoration: underline;
}

h1 {
     margin-bottom: .3em ;
     margin-top: 0;

}

h2, h3 {
     margin-bottom: .2em;
}

h1 + p,
h2 + p,
h3 + p,
h4 + p,
h5 + p,
h6 + p,
blockquote > p {
    margin-top: 0em;
}

.programmingerror {
	color: red;
	font-weight: bold;


}

blockquote {
	margin: 0.5em 2em;
	padding: 0.5em;
	border-left: solid 3px #88a;
	background-color: #ddd;

}

blockquote p:last-child {
        padding-bottom: 0px;
        margin-bottom: 0px;
}


.boxed {
         border: 2px solid #4170dc;
         background: #e0e0e0;
}

div.boxed, pre.boxed {
	padding: 5px 5px ;
}

span.boxed {
	padding: 2px 3px;
	margin: 0;
}

/* Layout */


#container
{
    width: 760px;
    margin: auto;
    background: #ffffff;
    border-left: 1px solid #f0f0f0;
    border-right: 1px solid #f0f0f0;
}


#maintitle
{
    padding: 1em 1em;
    background: #374277 url(/graphics/glossyback.gif) repeat-x bottom left;
    color: white;
    margin-bottom: 1em;
}

#maintitle div
{
    font-size: 2em;
    text-shadow: 0px 0px 6px #3000ff;
}

#contentinner
{
    margin: 0 1em;
}

#lukeplantmeuk #contentinner {
    margin-left: 50px;

}

#lukeplantmeuk #container {
    background: white;
    background-image: url(leftbg.png);
    background-repeat: no-repeat;
    background-position: top left;
}

/* Top nav bar */

#toplinks {
    float: right;
}

#toplinks div {
    position: fixed;
    font-size: 80%;
    height: 100%;
}

#toplinks p {
    padding: 3px;
    margin-top: 0px;
    margin-bottom: 0px;
    font-weight: bold;
    background: url(/graphics/greyglossyback.gif) repeat-x bottom left;
}

#toplinks ul
{
    list-style-type: none;
    padding: 0px;
    margin: 0px;
}

#toplinks li
{
    padding: 0px;
    margin: 0px;
}

#toplinks a
{
    display: block;
    background: white url(graphics/glossyback.gif) repeat-x bottom left;
    width: auto;
    padding: 3px 10px 3px 10px;
    color: white;
}

#toplinks li li a
{
    padding-left: 20px;
}

#toplinks a:hover
{
    background-image: url(graphics/glossyback2.gif);
    text-decoration: none;
}


/* End topnav  */


#loginlinks {
    position: fixed;
    top: 0px;
    margin-left: -80px;
    font-size: 10px;
}

#loginlinks a {
    color: #f0f0f0;
}

/* Post */

h1.posttitle
{
    border-top: 1px solid #bbb;
    padding-top: 0.25em;
}

.postintro
{

}

.post
{
    margin-top: 0.5em;
}

.metainfo
{
    text-align: right;
    padding-bottom: 0.25em;
}

.metainfoindex
{
    margin-top: 2px;
    padding-top: 2px;
    margin-left: 2em;
    color: #666;
}

.summarylink
{
    padding-top: 5px;
}

.summary
{
    margin: 1em 0 2em 2em;
    padding: 0em 1em;
    border-left: 4px solid #bbd;
}

/* Footer */


#footer
{
    margin-top: 1em;
    border-top: 1px solid #f0f0f0;
    border-bottom: 1px solid #f0f0f0;
    padding-top: 1em;
    text-align: center;
    padding-bottom: 1em;
    /* float clearing for the sake of background colour */
    overflow: auto;
    width: 100%;
}

#footer p
{
    margin: 0;
}

/* Comments */

.comments
{
    margin-top: 1em;
    border-top: 1px solid #bbb;
    padding-top: 1em;

}

.commentpreview
{
    padding: 1em;
    border-left: 2px solid #888;
    margin-bottom: 1em;
}

.commentpreview hr,
.comments hr
{
    display: none;
}

.commentpreview .comment,
.comments .comment
{
    border-top: 1px solid #ccc;
    border-left: 10px solid #ccc;
    border-bottom: 2px solid #ccc;
    border-right: 2px solid #ccc;

    margin-bottom: 1em;
    padding: 0;

}

.commentpreview .introline,
.comments .introline
{
    border-bottom: 1px solid #bbb;
    padding: 0 5px;
}

.commentpreview .commenttext,
.comments .commenttext
{
    padding: 0.5em;
    padding-left: 2em;
}

.commenttext p:first-child
{
    margin-top: 0px;
}

.commenttext p:last-child
{
    margin-bottom: 0px;
}

.commentpreview .timestamp,
.comment .timestamp
{
    font-style: italic;
}

.commentpreview .commentby,
.comment .commentby
{
    font-weight: bold;
}

.commentpreview .comment.author,
.comments .comment.author
{
    border-top: 1px solid #374277;
    border-left: 10px solid #374277;
    border-bottom: 2px solid #374277;
    border-right: 2px solid #374277;
}

.commentpreview .comment.author .commentBy,
.comments .comment.author .commentBy
{
    font-weight: bold;
    color: #374277;
}

.commentid {
    display:none;
}

.hiddenComment .introline,
.hiddenComment .commenttext
{
    display:none;
}

.comments .manuallyShown .introline,
.comments .manuallyShown .commenttext
{
    display: block;
}

.hiddenComment .togglebar
{
    display: block;
    height: 10px;
    background-color: #ffffff;
    cursor: pointer;
}

.manuallyShown.hiddenComment .togglebar
{
    background-color: #ccc;
}

.hiddenComment {
    background-color: #ccc;
}

.comments .hiddenComment {
    border-top: 1px solid #ccc;
}

.responseinner
{
    padding: 2px;
    margin-left: -10px;
    margin-right: -2px;
    margin-bottom: -2px;
    border-top: 1px solid  #374277;
    border-left: 10px solid  #374277;
    border-right: 2px solid  #374277;
    border-bottom: 2px solid  #374277;
    background-color: #fff;
    font-style: italic;
}

.hiddenComment .response {
    display: none;
}

.comments .manuallyShown .response {
    display: block;
}

.responsename {
    color: #000080;
    font-weight: bold;
}
/* Comment moderation */

.commentControls {
    border-top: 1px solid #ccc;
    font-size: small;
    padding-left: 0.5em;
    display:none;
}


.commentControls a {
    color: #888;
}

#responsebox {
    background-color: #fff;
    position: absolute;
    width: auto;
    padding: 1em;
    border: 2px solid #808080;
}

#responsebox ul {
    padding: 0px;
    margin: 0 0 1em ;
    list-style-type: none;
}

#responsebox li {
    margin: 1px;
    padding: 3px;
    background: #ffb;
    border-bottom: 1px solid #eea;
    border-top: 1px solid #ffe;
    cursor: pointer;
}
/* Forms */

.validationerror {
   padding: 0.3em;
   border: 1px solid red;
   background: #fcc;
   margin: 0.5em 0;
}

.accepted {
   padding: 1em;
   border: 1px solid #9c9;
   background: #cfc;
   margin: 0.5em 0;
}

form td {
    vertical-align: top;
}

.note {
    font-size: small;
    color: #404040;
}

/* Related items */

.related
{
    margin-top: 1em;
    border-top: 1px solid #bbb;
    padding-top: 1em;

}

/* Paging */

.paginglinks
{
    text-align: right;
}

/* Category page */

div.category
{
    margin-top: 0.5em;
}

/* Formatting of the post items */

pre
{
    overflow: auto;
}

pre.shell {
        border: 2px solid blue;
        background-color: black;
        color: #e0e0e0;
        padding: 8px;
        margin: 1em;
}


/* Override some things from prettify.css, which interacts badly with the dark background */
pre.shell .str, pre.shell .kwd, pre.shell .com, pre.shell .typ, pre.shell .lit, pre.shell .pun, pre.shell .pln, pre.shell .tag, pre.shell .atn, pre.shell .atv, pre.shell .dec {
    color: #e0e0e0;
}

pre.python, .python pre {
        background-color: #e0ffe0;
        border: 1px solid #c0e0c0;
}

pre.haskell, .haskell pre {
        background-color: #d0d0ff;
        border: 1px solid #9080b0;
}

pre.csharp, .csharp pre {
	background-color: #b0ddff;
	border: 1px solid #85ccff;
}

.html pre, .javascript pre {
	background-color: #d0d0d0;
	border: 1px solid #b0b0b0;
}

pre.python, pre.haskell, pre.csharp, pre.rst,
.python pre, .haskell pre, .csharp pre, .rst pre, .html pre, .javascript pre,
pre.sourceCode
{
	margin-left: 1em;
	padding: 0.5em;

}

span.usertext {
        color: #408040;
        font-weight: bold;
}

.shell .usertext {
        color: #80ff80;
}

/* Pandoc highlighting */

pre.sourceCode span.Normal { }
pre.sourceCode span.Keyword { font-weight: bold; }
pre.sourceCode span.DataType { color: #445588; }
pre.sourceCode span.DecVal { color: #009999; }
pre.sourceCode span.BaseN { color: #009999; }
pre.sourceCode span.Float { color: #009999; }
pre.sourceCode span.Char { color: #aa7733; }
pre.sourceCode span.String { color: #aa7733; }
pre.sourceCode span.Comment { color: #777766; }
pre.sourceCode span.Others { color: #007020; } /* ?? */
pre.sourceCode span.Alert { color: red; font-weight: bold; }
pre.sourceCode span.Function { /* color: #06287e; */ }
pre.sourceCode span.RegionMarker { }
pre.sourceCode span.Error { color: red; font-weight: bold; }
pre.sourceCode span.ModuleName { color: #445588; font-weight: bold; }
pre.sourceCode span.DataConstructor { color: #445588; font-weight: bold; }

/* HsColour */

.haskell .keyglyph,
.haskell .layout {
	color: #990000;
}
.haskell .keyword {
	font-weight: bold;
}
.haskell .comment, .haskell .comment a {
	color: #777766;
}
.haskell .str, .haskell .chr {
	color: #aa7733;
}

.haskell .conop,
.haskell .conid {
	color: #445588;
	font-weight: bold;
}

.haskell .varop {
	font-weight: bold;
}

.haskell .num {
	color: #009999
}

.haskell .varid, .haskell .cpp, .haskell .sel {

}

/* Pygments -- python */

.codeblock .c { color: #777766; font-style: italic } /* Comment */
.codeblock .err { color: #a61717; background-color: #e3d2d2 } /* Error */
.codeblock .k { font-weight: bold } /* Keyword */
.codeblock .o { font-weight: bold } /* Operator */
.codeblock .cm { color: #777766; font-style: italic } /* Comment.Multiline */
.codeblock .cp { color: #777777; font-weight: bold } /* Comment.Preproc */
.codeblock .c1 { color: #777766; font-style: italic } /* Comment.Single */
.codeblock .cs { color: #777777; font-weight: bold; font-style: italic } /* Comment.Special */
.codeblock .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
.codeblock .ge { font-style: italic } /* Generic.Emph */
.codeblock .gr { color: #aa0000 } /* Generic.Error */
.codeblock .gh { color: #777777 } /* Generic.Heading */
.codeblock .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
.codeblock .go { color: #888888 } /* Generic.Output */
.codeblock .gp { color: #555555 } /* Generic.Prompt */
.codeblock .gs { font-weight: bold } /* Generic.Strong */
.codeblock .gu { color: #aaaaaa } /* Generic.Subheading */
.codeblock .gt { color: #aa0000 } /* Generic.Traceback */
.codeblock .kc { font-weight: bold } /* Keyword.Constant */
.codeblock .kd { font-weight: bold } /* Keyword.Declaration */
.codeblock .kp { font-weight: bold } /* Keyword.Pseudo */
.codeblock .kr { font-weight: bold } /* Keyword.Reserved */
.codeblock .kt { color: #445588; font-weight: bold } /* Keyword.Type */
.codeblock .m { color: #009999 } /* Literal.Number */
.codeblock .s { color: #bb8844 } /* Literal.String */
.codeblock .na { color: #008080 } /* Name.Attribute */
.codeblock .nb { color: #777777 } /* Name.Builtin */
.codeblock .nc { color: #445588; font-weight: bold } /* Name.Class */
.codeblock .no { color: #008080 } /* Name.Constant */
.codeblock .ni { color: #800080 } /* Name.Entity */
.codeblock .ne { color: #990000; font-weight: bold } /* Name.Exception */
.codeblock .nf { color: #990000; font-weight: bold } /* Name.Function */
.codeblock .nn { color: #555555 } /* Name.Namespace */
.codeblock .nt { color: #000080 } /* Name.Tag */
.codeblock .nv { color: #008080 } /* Name.Variable */
.codeblock .ow { font-weight: bold } /* Operator.Word */
.codeblock .mf { color: #009999 } /* Literal.Number.Float */
.codeblock .mh { color: #009999 } /* Literal.Number.Hex */
.codeblock .mi { color: #009999 } /* Literal.Number.Integer */
.codeblock .mo { color: #009999 } /* Literal.Number.Oct */
.codeblock .sb { color: #bb8844 } /* Literal.String.Backtick */
.codeblock .sc { color: #bb8844 } /* Literal.String.Char */
.codeblock .sd { color: #bb8844 } /* Literal.String.Doc */
.codeblock .s2 { color: #bb8844 } /* Literal.String.Double */
.codeblock .se { color: #bb8844 } /* Literal.String.Escape */
.codeblock .sh { color: #bb8844 } /* Literal.String.Heredoc */
.codeblock .si { color: #bb8844 } /* Literal.String.Interpol */
.codeblock .sx { color: #bb8844 } /* Literal.String.Other */
.codeblock .sr { color: #808000 } /* Literal.String.Regex */
.codeblock .s1 { color: #bb8844 } /* Literal.String.Single */
.codeblock .ss { color: #bb8844 } /* Literal.String.Symbol */
.codeblock .bp { color: #777777 } /* Name.Builtin.Pseudo */
.codeblock .vc { color: #008080 } /* Name.Variable.Class */
.codeblock .vg { color: #008080 } /* Name.Variable.Global */
.codeblock .vi { color: #008080 } /* Name.Variable.Instance */
.codeblock .il { color: #009999 } /* Literal.Number.Integer.Long */



/* Export from Trac wiki */

/* Heading anchors */
.anchor:link, .anchor:visited {
 border: none;
 color: #888;
 font-size: .8em;
 vertical-align: text-top;
 text-decoration: none;
}

h1:hover .anchor, h2:hover .anchor, h3:hover .anchor,
h4:hover .anchor, h5:hover .anchor, h6:hover .anchor {
 color: #333;
}


/* Admin */

.message {
    padding: 1em;
    border: 2px solid #888;
    margin: 1em;
}

.postpreview {
    margin-top: 2em;
    border-top: 2px solid #888;
    padding-top: 1em;
    padding-bottom: 1em;
    border-bottom: 2px solid #888;
    margin-bottom: 3em;
}

/* Fractals */

div.fractimg {
	text-align: center;
	border-top: 1px dashed #808080;
	margin-top: 10px;
}

div.fractimg p.imgsize {
	font-size: small;
	margin: 0px;
	font-weight: bold;
}

div.fractimg img {
	border: 2px solid #0000ff;
}


/* IE */

#ie-message {
background:#C00;
text-align:center;
border-bottom:1px solid #900;
color: #fff;
position:absolute;
top:0;
left:0px;
padding:5px;
width:100%;
}
#ie-message a {
color: #fff;
}