/* $Id: 00.css,v 1.1.1.1 2008/03/12 10:52:22 makoto Exp $ */

body { 
	background-color: #d8d8c8;
	font-size: normal;
}

address {
	text-align: right;
	font-size: smaller;
	font-weight: bold;
}

p.lang-navigator {
        text-align: right;
        font-size: small;
}

div.copyright {
	text-align: right;
	font-size: smaller;
	color: rgb(40%,40%,40%);
}

div.id {
	text-align: right;
	font-size: smaller;
	font-weight: bold;
	font-style: italic;
	color: rgb(70%,70%,70%);
}

strong.keyword { 
	color: Red; 
}

p.example { 
	text-indent: 1em; 
	color: Navy;
	font-weight: bold;
#	font-family: monospace; 
}
p.note  { 
	color: DarkGreen;
#	font-family: monospace; 
        font-size: small;
}

#code { 
#	color: Navy;
#	font-family: monospace; 
#}


code.example { 
	color: Navy;
	font-weight: bold;
#	font-family: monospace; 
}

code.operator  { 
	color: Navy;
#	font-family: monospace; 
	font-weight: bold; 
}
code.rc  { 
	color: DarkGreen;
#	font-family: monospace; 
	font-weight: bold; 
}
code.command {
	color: Navy;
#	font-family: monospace; 
	font-weight: bold; 

}
code.path { 
	color: Olive;
#	font-family: monospace; 
}
h1 {
	background: #d8c8cc;
	}
h2 {
	background: #c8d8c8;
	}

h3 {
	background: #c8d8c8;
	}
h4 {
	background: #e0c080;
	}
span.h2 {
	background: #114422;
	color: yellow;
}
span.small {
	font-size: smaller;
}
span.path { 
	color: Olive;
	font-family: monospace; 
}
span.red  {
	color: Red;
	}
span.note  {
	color: Olive
	font-size: smaller;
}

# h3.new { margin-left: 1em }
# div.section { margin-left: 2em; margin-top: 0 }
# div.sub { margin-left: 1em; margin-top: 0 }
# div.list { margin-left: 1em }
# div.fn { margin-left: 1em; margin-top: 0 }
# div.url { margin-bottom: 0 }
# div.todo { font-size: small; }
span.old {
	color: #448866
}
span.hilight {
	color: #a05050;
	font-weight: bold;
}
/* $Id: 00.css,v 1.1.1.1 2008/03/12 10:52:22 makoto Exp $ */

#body { 
#	background-color: White; 
#}

address {
	text-align: right;
	font-size: smaller;
	font-weight: bold;
}

p.lang-navigator {
        text-align: right;
        font-size: small;
}

div.copyright {
	text-align: right;
	font-size: smaller;
	color: rgb(40%,40%,40%);
}

div.id {
	text-align: right;
	font-size: smaller;
	font-weight: bold;
	font-style: italic;
	color: rgb(70%,70%,70%);
}

strong.keyword { 
	color: Red; 
}

p.example { 
	text-indent: 1em; 
	color: Navy;
	font-weight: bold;
#	font-family: monospace; 
}
p.note  { 
	color: DarkGreen;
#	font-family: monospace; 
        font-size: small;
}

#code { 
#	color: Navy;
#	font-family: monospace; 
#}

code.example { 
	color: Navy;
	font-weight: bold;
#	font-family: monospace; 
}

code.operator  { 
	color: Navy;
#	font-family: monospace; 
	font-weight: bold; 
}
code.rc  { 
	color: DarkGreen;
#	font-family: monospace; 
	font-weight: bold; 
}
code.command {
	color: Navy;
#	font-family: monospace; 
	font-weight: bold; 

}
code.path { 
	color: Olive;
#	font-family: monospace; 
}
#h2 {
#	background: #e0c080;
#	}
#
# h3 {
# 	background: #e0c080;
# 	}
h4 {
	background: #d8c8cc;
	}
# span.h2 {
#	background: #114422;
#	color: yellow;
#}
span.small {
	font-size: smaller;
}
span.path { 
	color: Olive;
	font-family: monospace; 
}
span.red  {
	color: Red;
	}
span.note  {
	color: Olive
	font-size: smaller;
}

# h3.new { margin-left: 1em }
# div.section { margin-left: 2em; margin-top: 0 }
# div.sub { margin-left: 1em; margin-top: 0 }
# div.list { margin-left: 1em }
# div.fn { margin-left: 1em; margin-top: 0 }
# div.url { margin-bottom: 0 }
# div.todo { font-size: small; }
span.old {
	color: #448866
}
span.hilight {
	color: #a05050;
	font-weight: bold;
}
span.xx-large {
        font-size: xx-large;
}
span.x-large {
        font-size: x-large;
}
span.large {
        font-size: large;
}
span.medium {
        font-size: medium;
}
span.small {
        font-size: small;
}
        
span.x-small {
        font-size: x-small;
}
span.xx-small {
        font-size: xx-small;
}
span.menu  {
	font-size: small;
}
span.tag   {
	color: blue;
}
span.replace {
	color: green;
}
span.bgcolor {
	color: orange;
}
span.blue {
	color: blue;
}
span.release{
	color: green;
}
span.current{
	color: #aa2222;
}
span.current{
	color: #aa2222;
}
pre {
	white-space:  pre;
	background-color: #e0e0d0;
	padding:	0.1em 0.5em; 
	border-color: #ffeeb0;
	border-style: outset;
	border-width: 1px;
	margin: 0.5em 0em 0.5em 1em; # 上・下左

}

div.shell
{
	white-space:  pre;
	padding:	0.1em 0.5em;
	border-color: #ffeeb0;
	border-style: outset;
	border-width: 1px;
	background-color: #d0d0e0;
	font-family: monospace; 
	font-name: helvetica;
	margin: 0.5em 0em 0.5em 1em; # 上右下左
}
div.OF
{
	white-space:  pre;
	padding:	0.1em 0.5em;
	border-color: #ffeeb0;
	border-style: outset;
	border-width: 1px;
	background-color: #e0e080;
	font-family: monospace; 
	font-name: helvetica;
	margin: 0.5em 0em 0.5em 1em; # 上右下左
}

table {
	margin: 1em 0em 1em 1em; # 上・下左
}
div.blockquote
{
	white-space:  pre;
	padding:	0.1em 0.5em; 
	border-color: #eeffb0;
	border-style: outset;
	border-width: 1px;
	background-color: #f0d0f0;
	margin: 0.5em 0em 0.5em 1em; # 上・下左
}