html {
	border : none;
}

body {
	font-family : Georgia,serif;
	padding-left : 30px;
	padding-right : 30px;
	color : black;
	background-color : white;
}
h1 {
	color : #500000;
}
h2,h3,h4,h5,h6 {
	color : #400000;
}
h1 a:link, h2 a:link, h3 a:link, h4 a:link, h5 a:link, h6 a:link {
	color : #400000;
}
h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h6 a:hover {
	color : #3333ff;
}

del {
	color : gray;
}

code {
	font-size : large;
}

/*
a:link {
	color : #3333ff;
}
*/
a:visited {
	color : #444444;
}
a img {
	border : none;
	padding : 0px;
	margin : 0px;
}

acronym, abbr {
	cursor : help;
}

/* CLASS: tagline **************************************************************
   A 'tagline' giving a quick page description, aligned right after page title.
   E.g.:
   
   SHORT PAGE TITLE
                                     - The quirky tagline description

   Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Praesent 
   lacus nunc, ultrices sed, ultrices in, pulvinar vel, arcu. 
*/
.tagline {
	color : gray;
	text-align : right;
	font-style : italic;
}
h1 + .tagline {
	margin-top : -18pt;
}
/******************************************************************************/

/* CLASS: list-title ***********************************************************
   Italic text for use as title before a list.  E.g:
   
   Conclusions:
     - Some conclusion
     - Another conclusion
*/
.list-title {
	font-style : italic;
	margin-top : 1em;
}
.list-title + ul, .list-title + ol {
	margin-top : 0.4em;
}
/******************************************************************************/

/* CLASS: commandline-r *******************************************************/
.commandline-r {
	float : right;
	font-family : monospace;
	font-size : large;
	white-space : pre;
	color : white;
	background-color : black;
	padding : 1em;
	margin-left : 1ex;
	border : solid 2px tan;
	font-size : 10pt;
}
.commandline-r .error {
	color : tomato;
	font-weight : bold;
}
/******************************************************************************/

.rfloat {
	float : right;
	margin-left : 0.2em;
}

div.section {
	/*background : #fffdf7;*/
}

.irrepressible {
	margin-right : -28pt;
	padding-right : 0pt;
	text-align : right;
}

.cv {
	font-size : x-small;
	font-variant : small-caps;
	vertical-align : baseline;
}
.cv a {
	color : gray;
	text-decoration : none;
}
.cv a:hover {
	text-decoration : underline;
}