/* $Id: default.css,v 1.14 2002/12/18 16:30:48 daisuke Exp $ */

body {
        background: white;
        color: black;
        margin-left: 1em;
        margin-right: 1em;
}

div.main {
	margin-left: 1em;
}

div.headline {
        text-align: center;
        font-size: large;
}

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

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

div.signature {
        text-align: right;
        font-style: italic;
}

div.contact {
	text-align: left;
	margin-left: 1em;
}

address.contact-info {
        text-align: right;
        font-size: smaller;
}

h1 {
	color: #fff;
        text-align: center;
	background-color: #669;
	padding: 0.2em;
}

h2 {
        background-color: #aad;
        border-width: 0px 0px 2px 12px;
        border-style: solid;
        border-color: #77a;
	padding: 1px;
	text-indent: 0.3em;
}

h3 {
        background-color: #bbe;
        border-width: 0px 0px 2px 10px;
        border-style: solid;
        border-color: #669;
	padding: 1px;
	text-indent: 0.3em;
}

h4 {
        background-color: #fff;
        border-width: 0px 0px 1px 8px;
        border-style: solid;
        border-color: #669;
	padding: 1px;
	text-indent: 0.3em;
}

p {
        text-indent: 1em;
	margin-left: 0.5em;
	margin-right: 0.5em;
}

p.noindent {
        text-indent: 0em;
}

p.note {
        text-indent: 0em;
        margin-left: 25%;
        font-size: smaller;
}

dl.list {
        margin-left: 3%;
}


blockquote {
        margin-left: 2em;
        margin-right: 2em;
#        font-size: smaller;
        color: #003;
}


pre.example {
        margin-left: 10%;
        margin-right: 10%;
        color: #050;
}

a.normref { 
        color : red;
}       

a.informref {
        color : green;
}       

strong {
        font-weight: bold;
}

dl {
	margin-left: 1em;
}

dl dd {
        padding-top: 0.2em;
        padding-bottom: 0.4em;
	margin-left: 2em;
}

dl dt {
        font-weight: bold;
}

ul li {
        padding-bottom: 0.3em;
}

span.note {
        font-size: smaller;
}


table.about th {
	color: black;
	background-color: #ccf;
}
table.about tr td.name {
	color: black;
	background-color: #ced;
}
table.about tr td.o {
	color: black;
	background-color: #cce;
}
table.about tr td {
	color: black;
	background-color: #dde; 
}


table.menu {
        background-color: #669;
        border-width: 0px 0px 0px 10px;
        border-style: solid;
        border-color: #88b;
	padding: 0px;
	text-indent: 0.3em;
}


// imported from old style sheet
.time{ font-size:small; text-align:right; }

.button{
	color:#ffffdd;
	font-size:13px;
	margin-top:0pt;
	margin-left:1pt;
	margin-right:2pt;
	margin-bottom:0pt;
	text-decoration:none;
}

.buttonc{
	 color:#ff6644;
	 font-size:13px;
	 margin-top:1pt;
	 margin-left:1pt;
	 margin-right:2pt;
	 margin-bottom:0pt;
	 text-decoration:none;
}

.sbutton{
	 color:#ffffdd;
	 font-size:10px;
	 margin-top:1pt;
	 margin-left:12pt;
	 margin-right:2pt;
	 margin-bottom:1pt;
	 text-decoration:none;
}

.button2{
	 color:yellow;
	 font-size:13px;
	 margin-top:1pt;
	 margin-left:1pt;
	 margin-right:4pt;
	 margin-bottom:0pt;
	 text-decoration:none;
}

.button2:hover,focus {
	color:"red";
	text-decoration: underline;
}

.button2c{
	color:#ff6644;
	font-size:13px;
	margin-top:1pt;
	margin-left:1pt;
	margin-right:4pt;
	margin-bottom:0pt;
	text-decoration:none;
}

.button2:hover,focus {
	color:"red";
	text-decoration: none;
}

.item {
	color:white;
	font-size:9px;
}

a:link { color:"#6600dd"; }
a:visited { color:"#6600dd"; text-decoration: none; }

a:hover, a:focus, a:active {
  color:"#0044dd";
  text-decoration: underline;
}


/* as of now, @import has not impremented in NN4 nor IE3-4 */
@import url(local.css)

/* EOF */