/* jcore.css - Japanese common style  *  - Feel free to copy, distribute, or modify. *  - Absolutely NO WARRANTY. */BODY {		margin-top:3px;	margin-left:15px;	margin-right:5px;		line-height: 145%;	background:#F0F0E0; /* OK? */	color:#000000;  	letter-spacing: 2px;}DL  {	border:1;}DT {  color: blue;  font-weight:bolder}DD {	width:650;  color: #330033;    line-height: 135%;  		}li {  line-height:120%}A:link {  color: blue;}A:visited {  color: purple;}P {  width:650;  text-indent: 1em;  coler: darkgreen;}LI P, DD P {  text-indent: 0;  /* margin? */}P, LI, DD {  margin-top: 0.4em;  margin-bottom: 0.4em;}/*P, DD {  margin-top: 0em;  margin-bottom: 0.3em;}*/PRE, BLOCKQUOTE, UL, OL, DL, DIV {  margin-top: 1em;  margin-bottom: 1em;}EM {  font-style: normal;/*  text-decoration: underline; *//*  font-size: 1.0em; */     margin-left: 1.0em;  color: "red";}DFN {  font-style: normal; /* Don't be slanted */  font-weight: bold}STRONG {  font-weight: bolder}BLOCKQUOTE {  margin-left: 2em;}ADDRESS {  margin: 1.5em 1em 1em 2em; /* assumed in the bottom of the document */  line-height: 120%;  font-style: normal;}PRE {  line-height: 130%;  color:red;}/* Headings [PENDING - Font size] */H1 {  line-height: 120%;  text-align: center;  color: darkSlateGray;}H2, H3, H4, H5, H6 {  line-height: 120%;  text-align: left;  color:DarkSlateGray;}H1 { font-size: 1.6em}H2 { font-size: 1.3em; margin-top: 1.2em;}H3 { font-size: 1.1em; margin-bottom: 0.5em;}H4 { font-size: 1.0em; margin-left: 1em}H5 { font-size: 0.8em; margin-left: 1em}H6 { font-size: 0.8em; margin-left: 2em}/* Common class selectors   [PENDING - Should these be included this style sheet?] */PRE.sample {  line-height: 120%;  background: #d8e0d0;  padding: 0.5em;  border: outset thin #d8e0d0;}.note {  margin-left: 2em;  text-indent: 0;}