body {
	padding: 0 10px;
	color: black;
/*	background-color: #aab; */
	margin: 0;
/*	border-right: 1px solid rgb(128, 128, 128); */
}

pre {
	font-family:    monospace;
	font-size:      10pt;
}

code {
        font-size:      11pt;
}

/* TITLE */

#maintitle {
        margin-top: 2em;
        text-align: center;
	color: black;
	margin-bottom: 5em;
}

#maintitle h1 {
        margin: 0px -10px;
	padding: 1ex;
	font-family: sans-serif;
	font-weight: lighter;
	letter-spacing: 0.05em;
	font-size:   28pt;
}


#maintitle a {
	color: black;
	text-decoration: none;
}
#maintitle a:hover {
	color: black;
	text-decoration: none;
}


#maintitle h2 {
	margin: 0 0 1ex 0;
	padding: 0;
	font-weight: normal;
	font-family: serif;
        font-size:   20pt;
	color: #666;
}

#subtitle {
        text-align: center;
	font-weight: lighter;
	margin-bottom: 3em;
}

/* WIDTH LIMIT */

@media screen { 
    #binding {
        max-width: 80ex;
	margin: 0em auto;
    }
}

#binding {
    padding-top: 3%
    background-color: white;
}

/* ENTRY */

div.entry {
        padding-bottom: 4em;
}

div.entry h2, div.entry h3, div.entry h4 {
	letter-spacing: 0.05em;
	font-family:    serif;
	font-weight:    lighter;
}

div.entry p, div.entry li {
        font-size: 13pt;
        text-align: justify;
	background-colour: white;
}

div.entry pre {
	overflow:	visible;
	padding:        0.5em 0.5em 0.5em 2em;
	display:        inline-block;
	width:          auto;
	margin:         auto;
}

div.entry .title h1 {
/*	background-color: #eef;*/
/*      border-bottom: thin solid gray; */
        font-family: serif;
        font-weight: lighter;
	font-size:   23pt;
	letter-spacing: 0.05em;
        color: #88b;
	margin-bottom: 0.5em;
}

div.entry div.date {
        text-align: right;
	font-size: 90%;
}

div.entry div.title a {
        color: inherit;
	text-decoration: none !important;
}
div.entry div.title a:hover {
        color: inherit;
	text-decoration: none !important;
}

div.entry div.tags {
/*	font-family: Verdana, Georgia, Arial, sans-serif;*/
	font-size: 90%;
	text-align: right;
}
div.entry div.tags span.comments {
        padding-left: 5px;
        float: left;
}

/* SIDEBAR */

div#sidebar {
        float: right;

	font-family: sans-serif;
	font-size: 80%;
	padding-left: 2%;

}

div#sidebar h2 {
    font-size: 140%;
    font-family: serif;
    padding: 0;
    margin: 0;
}

div#sidebar ul {
    list-style-position: outside;
}

/* FOOTER */

div#footer {
    clear: both;
}

/* hscolour */

.keyglyph { color: DarkGoldenrod;  }
.layout   { color: Black;}
.keyword  { color: PaleGreen;}
.comment, .comment a {color: Firebrick;}
.str      { color: RosyBrown; }
.chr      { color: RosyBrown;}
.keyword  { color: BlueViolet; }
.conid    { color: ForestGreen; }
.varid    { color: black;  } 
.num      { color: black; }
.varop    { color: DarkGoldenrod; }
.conop    { color: DarkGoldenrod; }
.sel      { color: Red; }
.cpp      { color: Red; }
.definition { color: Blue; }