/* -*- coding: utf-8 mode: css -*- */
/* sur.css --- Modified by Junist@gmail 2006/02/20 19:10:43 */
/* the pre markup was derived from rubyStyle.css, the rest is from previous  
iterations of my website http://repose.cx/. help yourself to bits you like. */

body {
    font: 13px/1.2 Tahoma, Verdana, Arial, Helvetica, sans-serif, serif;
    background:#fcfcfc;
    padding:5%;
    padding-top:2%;
    margin:0px;
    color: black;
    line-height: 1.2;
    text-align: justify;
}

a {
    text-decoration: none;
    font-weight: bold;
    font-family: Tahoma, Verdana, Arial, Helvetica, sans-serif, serif;
    color: 	blue; //#c00;
}

a:hover {
    color: #00C; //#FFFFFF;
    text-decoration: underline;
}


h1 {
    font-size: 3em;
    font-family: "bookman old style", Times, serif, georiga, "Trebuchet MS";
    color:#666;
    line-height: 1;
    text-align: center;
    padding: 3px;
    margin: 0px;
    margin-bottom: 10px;
}

h2 {
    color:#666;
    font-size: 2em;
    font-family: "bookman old style", Times, serif, georiga, "Trebuchet MS";
    line-height: 1;
    padding: 2px;
    margin-top: 1.5em;
    border-bottom: 3px solid #000000;
}

h3 {
    color:#666;
    font-size: 1.5em;
    font-family: "bookman old style", Times, serif, georiga, "Trebuchet MS";
    line-height: 1;  
    padding: 2px;
    margin-top: 1.2em;
    border-bottom: 1px solid #000;
}

h4 {
    color:#666;
    font-size: 1.2em;
    font-family: "bookman old style", Times, serif, georiga, "Trebuchet MS";
    FONT-WEIGHT: bold;
    line-height: 1;  
    padding: 2px;
    margin-top: 1em;
    border-bottom: 1px dashed #444;
}

h5 {
    color:#666;
    font-size: 1em;
    font-family: "bookman old style", Times, serif, georiga, "Trebuchet MS";
    FONT-WEIGHT: bold;
    line-height: 1;  
    padding: 2px;
    margin-bottom: 5px;
//    border-bottom: 1px dashed #444;
//    margin-right: 60%;
}

h1 a {
  line-height: 1;
  color:#666;
}

h2 a {
    line-height: 1;  
    color:#666;
}

h3 a {
      line-height: 1;  
    color:#666;
}

h4 a {
    color:#666;
}

h5 a {
    color:#666;
}

/* content style */
H6.mulu {
  color: navy;
  margin: 5px 5px -10px -15px;
  font-size: 15px;
}

div.mulu {
  margin-bottom: 3em;
  padding-bottom: -2em;
  padding-left: 35px;
  border-top: grey 1px dashed;
  border-bottom: grey 1px dashed; 
}

img {
    float: center;
    margin: 10px;
    border-style:solid; border-width:0px;
//      margin-bottom: 5px;
}

#im {
    clear: right;
}

pre {
    FONT: 9pt "Bitstream Vera Sans Mono", "Courier New", Courier, monospace,  helvetica;
/*     border: #777777 1px solid; */
    border: 0px;
    padding: 0.5em;
    margin-left: 1em;
    margin-right: 2em;
    white-space: pre;
    background-color: #e9e9e9;
    color: black;
    line-height: 1.1;
}

PRE.example {
  color: black;
 border: 0px;
  background-color: #e9e9e9;
  PADDING: 0.5em 0.5em 0.5em 1em;
  MARGIN-left: 0px;
  Margin-right: 0px;
}

code {
   FONT: 9pt "Bitstream Vera Sans Mono", "Courier New", Courier, monospace,  helvetica;
   Color: darkslateblue; //slateblue;
    }

P {
    text-indent: 2em;
}

P A {
	font-family: 'Trebuchet MS';
}

/*
P:hover,tr:hover, td:hover, li:hover, dt:hover, dd:hover {
	background: #f1f9f4;	
//	background: #eef1f4;	
//	background: #f6f8f8;	
}

P:first-letter 
{
  font-weight:bold;
  color: black;
}
*/

ul, ol {
  margin-left: 30px;
  margin-right: 0px;
  padding: 0px;
/*  text-align: justify;*/
}

ul{
  list-style-type: none;
}

ul ol{
  list-style-type: decimal;
}

ul ul {
 list-style-type: circle;
}

ol ul {
  list-style-type: square;
}

li {
    margin-bottom: 0.9ex;
}

strong em {
    color: darkred;    //darkslateblue;
}

strong {
    color: 	mediumvioletred; //slateblue;
}

em {
  color: #003399;
  font-style: oblique;
}

em:hover, strong:hover {
    background-color: #EEEEEE; //DDE4F4;
    }

/* under line*/
u {
  text-decoration: none;
  font-style: oblique;
  color: #68228b;
}

table {
    margin-top: 5px;
    margin-bottom: 5px;
    border: 0;
}


td {
  BORDER-RIGHT: buttonhighlight 1px solid;
  BORDER-TOP: buttonhighlight 1px solid; 
  BORDER-LEFT: buttonshadow 1px solid; 
  BORDER-BOTTOM: buttonshadow 1px solid; 
  
  PADDING-RIGHT: 10px;
  PADDING-LEFT: 10px;
  PADDING-TOP: 3px;
  PADDING-BOTTOM: 1px;
  OVERFLOW: hidden; 
  HEIGHT: 23px;
  font-size: 13px;
}

th {

  BORDER-RIGHT: buttonhighlight 1px solid;
  BORDER-TOP: buttonhighlight 1px solid; 
  BORDER-LEFT: buttonshadow 1px solid; 
  BORDER-BOTTOM: buttonshadow 1px solid; 
  PADDING-TOP: 3px;
  PADDING-BOTTOM: 1px; 
  OVERFLOW: hidden; 
  HEIGHT: 23px;
  background: #e0e0e0;//#ffd112;
  font-size: 13px;
  text-align: center;
}


hr {
	border-style: dashed;
	border-color: #ccc;
}

dt {
  padding-top: 1em;
  font-size: 14px;
    font-weight: bold;
}

dt.contents a {
	font-size: 12px;
	color:  blue; //#c00;
	display: inline;
}

dt.contents a:hover {
  background-color: #EEEEEE; //darkkhaki; //skyblue; //#EEEEEE;
}


dd dl dt.contents:before {
	display: inline;
	content: url("");
}

dd dl dt.contents a {
	font-weight: normal;
	font-size: 11px;
	color: 	dimgray;//#066;
	display: block;
}

dd dl dt.contents a:hover {
  background-color: #EEEEEE; //darkkhaki;
}

span {
  FONT: 9pt "Bitstream Vera Sans Mono", "Courier New", Courier, monospace,helvetica;
  line-height: 1.6;
  font-weight: normal;
    }
    
span.comment {
  line-height: 1.6;
  font-weight: normal;
}

/* table of contents for this page*/
.contents {
	padding-top: 2px;
    FONT: 10px Verdana, Courier New;
}

.verse {
  FONT: 9pt "Bitstream Vera Sans Mono", "Courier New", Courier, monspace, helvetica;
    white-space: pre;
    margin-left: 1em;
}

.example {
  FONT: 9pt "Bitstream Vera Sans Mono", "Courier New", Courier, monspace, helvetica;
    white-space: pre;
    margin-left: 1em;
}

.navfoot {
	/*
	margin-left: -35px;
	margin-right: -40px; */
	width: 100%;
}

.footdate .foothome .footmark{
  FONT: 9pt Verdana,  Arial, Times New Roman, Courier New, Helvetica;
  FONT-weight: normal;
}

/* for program source*/
.comment {
  /* font-lock-comment-face */
  color: #cd0000;
  font-weight: bold;
  font-style: italic;
}

.function-name {
  /* font-lock-function-name-face */
  color: #0000ff;
  font-weight: bold;
}
.keyword {
  /* font-lock-keyword-face */
  color: #a020f0;
  font-weight: bold;
}
.preprocessor {
  /* font-lock-preprocessor-face */
  /*color: #7fffd4;*/
  color: black;
  font-weight: bold;

}
.string {
  /* font-lock-string-face */
  color: #008b00;
}
.type {
  /* font-lock-type-face */
  color: #000080;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #8b5a2b;
}

.doc {
  /* font-lock-comment-face */
  color: #F0A4A4;
}


.toplink { 
	font-size: x-small; 
	float: right;
	line-height:1;
}
.toplink A { 
	text-decoration: none;
	color: inherit;
	background: inherit;
}
.toplink A:hover { text-decoration: underline }
/*.toplink A:visited { color: darkgray; text-decoration: none }*/


/* menu */

.menu:before {
	line-height: 0.1;
	font-size: 1px;
	margin: 0;
	height: 9px;
	display: block;
	border-bottom: 1px solid #ddd;
}
.menu {
	float: right;
	clear: both;
}
.menu:after {
	display: block;
	padding-top: 0;
	line-height: 0.1;
	font-size: 1px;
	margin: 0 0 0 0;
	height: 8px;
	border-top: 1px solid #fff;
}

.menu, .menuitem {
	margin: 0;
	padding: 0;
	list-style: none;
}

.menuitem {
    FONT: 11px Verdana, Courier New;
	display: inline;
	padding: 0;
	margin: 0;
}

.menuitem a {
	display: block;
	padding: 1px 10px 1px 10px;
	color: #00008b;
	text-decoration: none;
	background: #EDF2F2;
	border-bottom: 1px solid #ddd;
	border-top: 1px solid #fff;
	border-right: 1px solid #ddd;
}

.menuitem a:hover {
	/*background: #E0E9E9;*/
	color: #c00;
}