/* reminder: top-right-bottom-left */

/********************************************************************
 *
 * body, headers, pre
 *
 ********************************************************************/
body {
     font-size:12px;
     font-family: Verdana, Tahoma, Arial, Helvetica, sans-serif;
     color: black;
     /* fucking IE bug in div & floats:
      * http://www.notestips.com/80256B3A007F2692/1/NAMO5GU36H
      */
     /* background: #cac8c0 url(null) fixed no-repeat; */
     background-color: #cac8c0;
     margin: 1% 3% 1% 3%;
}
h1,h4 {
   text-align: center;
}
h2,h3 {
   /* margin-left: -2%; */
   text-decoration: underline;
}
pre {
   text-align: left;
}
pre.code {
   margin-left: +2%;
   text-align: left;
}

/********************************************************************
 *
 * paragraphs
 *
 ********************************************************************/
p {
   /* color: black; */
   /* background: white; */
   margin-top: 5px;
   margin-bottom: 5px;
}
p.center {
   text-align: center;
   width: 100%;
}
p.right {
   text-align: right;
}
p.quote {
   margin-left: +5%;
}
p.small {
  font-size: small;
}
p.bold {
  font-weight: bold;
}
p.smallmargintop {
   margin-top: 0.4em;
}
p.normalmargingtop {
   margin-top: 1em;
}

/********************************************************************
 *
 * lists
 *
 ********************************************************************/
ul {
	margin-left: 0em;
	padding-left: 15px;
	/*
	 margin: 0px 0px 0px 10px;
	 padding: 6px 6px 6px 6px;
	*/
}
li { 
	margin-left: 0em;
	padding-left: 0em;
        /*
	 margin: 0px 0px 0px 0px;
         padding: 0px 0px 0px 0px;
        list-style: katakana;
	*/
        list-style: disc;
}
dt {
        font-weight: bold;
}

/********************************************************************
 *
 * links
 *
 ********************************************************************/
a:link {
   text-decoration: none;
   color: blue;
   background-color: transparent;
}

a:visited {
   text-decoration: none;
   color: blue;
   background-color: transparent;
}
a:active {
   text-decoration: none;
   color: red;
   background-color: transparent;
}
a:hover {
   text-decoration: none;
   color: red;
   background-color: transparent;
}

/********************************************************************
 *
 * Header, main, and footer areas
 *
 ********************************************************************/
div.header {
	color: black;
	background-color: #ffffff;
	border: solid black 1px;
	padding-left: 2px;
	padding-top: 10px;
	margin-bottom: 10px;
	text-align: center;
}

div.main {
	 color: black;
	 /* fucking IE bug in div & floats:
	  * http://www.notestips.com/80256B3A007F2692/1/NAMO5GU36H
	  */
	 /* background: white url("http://www.raoult.com/images/white.png") repeat fixed; */
	 background-color: white;
	 text-align: left;
	 border: solid black 1px;
	 padding-top: 10px;
	 margin-bottom: 10px;
}
div.footer {
   margin-top: 1em;
   text-align: center;
   width: 100%
}
div.spacer {
  clear: left;
}

/********************************************************************
 *
 * main area
 *
 ********************************************************************/
div.mainbody {
	color: black;
	/*background: white url("http://www.raoult.com/images/white.png") repeat fixed;*/
	background-color: white;
	padding-right: 20px;
	padding-left: 20px;
	text-align: justify;
	margin-top: 1.5em;
	margin-right: 200px;
	/* border: solid black 1px; */
}
div.articletitle {
	color: black;
	background: #cccfe4;
	margin: 0px 0px 0px 0px;
	padding: 5px 5px 5px 5px;
	border-bottom: solid black 1px;
	border-right: solid black 1px;
	font-weight: bold;
	text-align: right;
}
div.articletitle span.date {
	float: left;
        text-align: left;
}
div.articletitle span.title {
	float: right;
        text-align: right;
}
div.article {
	/* margin-right: 0;*/
	/* margin-top: 50px; */
	text-align: justify;
	margin-bottom: 0px;
}

/********************************************************************
 *
 * right column
 *
 ********************************************************************/
div.rightcolumn {
	/*background: #dcdff4;
	border: solid black 1px;
	margin-top: 10px;
	margin-bottom: 10px;
	*/
	margin-left: 5px;
	margin-right: 0px;
	padding: 0px 0px 0px 0px;
	float: right;
	width: 200px;
}
div.listtitle {
	color: black;
	background-color: #cccfe4;
	margin: 0px 0px 0px 0px;
	padding: 5px 5px 5px 5px;
	border-bottom: solid black 1px;
	border-right: solid black 1px;
	text-align: center;
	font-weight: bold;
}
div.list {
	/*
	margin-top: 10px;
	*/
	color: black;
	background: #dcdff4;
	border: solid black 1px;
	margin-left: 10px;
	margin-right: 10px;
	margin-bottom: 10px;
	padding: 5px 5px 5px 10px;
}

/********************************************************************
 *
 * images - no border, right & left positioning
 *
 ********************************************************************/
img {
    border:0px;
}
img.right {
    float: right;
    margin-left: 10px;
   
}
img.left {
    float: left;
    margin-right: 10px;
}

/********************************************************************
 *
 * blosxom specific
 *
 ********************************************************************/
span.blosxomDate {
	display: none;
}

/********************************************************************
 *
 * not used (I think)
 *
 ********************************************************************/
/* blue cell */
.highlight {
   text-align: center;
   vertical-align: top;
   font-weight: bold;
   margin-left: 0;
   color: white;
   background-color: blue;
}

/* blue cell - link (silver) */
.highlight:link {
   color: silver;
   background-color: transparent;
   text-decoration: none;

}
/* blue cell - vlink (silver) */
.highlight:visited {
   color: silver;
   background-color: transparent;
   text-decoration: none;
}
/* blue cell - mouse over (red) */
.highlight:hover {
   color: red;
   background-color: transparent;
   text-decoration: none;
}
/* blue cell - activated (red) */
.highlight:active {
   color: red;
   background-color: transparent;
   text-decoration: none;
}
/* changed - maybe still used in main page */
div.changed {
   padding-left: 0.2em;
   border-left: thin solid red;
   margin-top: 10px;
}