/*
 * This is generic CCS for HRS's Web Page
 * 
 * $hrs: www/sut/share/style/article.css,v 1.7 2008/04/22 21:49:41 hrs Exp $
 */

A:link    { color: green; }
A:visited { color: gray; }
A:active  { color: red; }
A:hover   { color: lightgreen; }

BODY{
 background: #e2e2e2;
 color: black;
 font-family: 'verdana,arial,helvetica',sans-serif;
}

hr.sep { text-align: center }

DIV.navibar {
 margin: 0em; padding: 0em;
 text-align: center;

 font-weight: normal;
 font-family: sans-serif;
}

ADDRESS.footer {
 margin:  0em 0.5em;
 padding: 0em 0.5em;
 text-align: right;

 font: normal smaller sans-serif;

 border-width: 0em thick 0em 0em;
 border-style: solid;
 border-color: #117777;
}

/* headings ..................................................... */

H1.center   { text-align: center; }
H1.sectitle { text-align: left; margin-left: .2em; }

DIV.righttitle    { margin: 0em; padding: 1em 0em; }
DIV.righttitle P  { padding-right: 0.5em; text-align: right; }

DIV.righttitle H1 { padding-right: 0.5em;
 text-align: right;
 font-weight: normal;
 margin: 0em; padding: 0em;
 margin-bottom: 0.5em;
 border-width: 0em;
}
DIV.righttitle H2 { padding-right: 0.5em; text-align: right; 
 margin: 0em; padding: 0em;
 border-width: 0em;
}

DIV.righttitle DIV.lastmodified{
 margin: 0em; padding: 0em;
 padding-top: 0.5em;
}

DIV.righttitle DIV.lastmodified P{
 margin: 0em; padding: 0em;
 text-align: right;
 text-decoration: underline;

 font: normal normal smaller sans-serif;
}

P.lastmodified{
 margin: 0em; padding: 0em;
 padding-bottom: 0.5em;
 text-decoration: underline;

 font: normal normal smaller sans-serif;
}

DIV.author{
}

.subtitle {
 font-size: smaller;
}

H2 {
 padding: 0.5em;
 /*
  * next that specifies font-family
  * will make strange behavior in IE4.0.
  * Font size of Japanese characters are not
  * affected, always normal size. 
  */
 font-weight: normal;
 font-family: 'Verdana,Arial,Helvetica',sans-serif;

 border-width: 0em 0em 0em thick; border-style: solid;
 border-color: #117777;
}

H3 {
 margin-left: 0em; margin-right: 0em;
 padding: 0.3em;

 font-weight: normal;
 font-family: 'Verdana,Arial,Helvetica',sans-serif;

 border-width: 0px 0px 2px 2px; border-style: solid;
 border-color: #117777;
}

H4 {
 margin-left: 0em; margin-right: 0em;
 /* margin: 0em 0.8em; */

 font-family: 'Verdana,Arial,Helvetica',sans-serif;
 font-weight: normal;

 border-width: 0em 0em 1px 0em; border-style: solid;
}

H4.noline {
 margin: 0em; padding: 0em;
 font-weight: normal;

 border-width: 0em;
}

H5 {
 /* margin: 0em 0.8em; */
 margin-left:  1em;
 margin-right: 1em;

 font-family: 'Verdana,Arial,Helvetica',sans-serif;
 font-size: medium;
}


/* paragraph .................................................... */

BODY { margin-left: 2em; margin-right: 2em; } 
BODY P { margin-left: 0.5em; margin-right: 0.5em; text-indent: 1em; } 
BODY DIV P  { text-indent: 0em; }
UL LI P { margin-left: 0em; text-indent: 0em; }
OL LI P { margin-left: 0em; text-indent: 0em; }
TD P { margin: 0.5em; text-indent: 0em; }

P { line-height: 120%; }

/* special paragraph ............................................ */

DIV.abstract   { text-align: center; }
DIV.abstract P { margin-right: 5em; margin-left: 5em; text-align: left; } 

P.saying { margin: 0em; margin-top: 1em; text-align: right; font-size: smaller; }

P.isay{
 padding: 0.1em;
 text-align: center;
 text-indent: 0em;
 font-weight: normal;
}

/* special division ,............................................ */

div.sidebar {
 margin-left: 2.5em;
 padding-left: 0.5em;

 text-align: left;

 border-width: 0em 0em 0em thick;
 border-style: solid;
 border-color: #117777;
}

div.sidebar p {
 margin-left:  0em;
 padding-left: 0em;
}

div.fbox {
 margin-left: 2.5em;
 margin-right: 2.5em;
 padding: 0.5em 1em;

 text-align: left;

 border-width: thin;
 border-style: solid;
 border-color: #117777;
}


/* lists ........................................................ */

/*
UL    { margin-left: 1em; }
TD UL { margin-left: 0em; }
OL    { margin-left: 1em; }
TD OL { margin-left: 0em; }
DL    { margin-left: 1em; }
TD DL { margin-left: 0em; }
*/

DL DT { font-weight: normal; }

UL    { color: purple; font-weight: normal; }
UL P  { color: black;  font-weight: normal; }
OL    { color: purple; font-weight: normal; }
OL P  { color: black;  font-weight: normal; }

UL LI {
 padding: 0em;
 margin-bottom: 0em;
 margin-top: 0em;
/* border-width: thin;
 border-style: solid;
 border-color: yellow; */
}

OL LI {
 padding: 0em;
 margin-bottom: 0em;
 margin-top: 0em;
/* border-width: thin;
 border-style: solid;
 border-color: yellow; */
}

LI DL {
 padding: 0em;
 margin-bottom: 0em;
 margin-top: 0em;
/* border-width: thin;
 border-style: solid;
 border-color: black; */
}
LI {
 /* color: green; */
 padding: 0em;
 margin-bottom: 0em;
 margin-top: 0em;
/* border-width: thin;
 border-style: solid;
 border-color: #117777; */
}

ADDRESS.author {
 margin-bottom: 1em;

 font-weight: normal;
 font-family: serif;
 font-style: normal;
 text-align: center;
}

.box {
 border-width: thin;
 border-style: solid;
 border-color: #117777;
 text-align: center;
}

.pbox {
 margin-left: 1em;
 margin-right: 1em;
}

.leftbox {
 border-width: thin;
 border-style: solid;
 border-color: #117777;
 text-align: left;
}

.info{
 font: normal smaller sans-serif;
 text-align: right;
 line-height: .7em;
 margin-bottom: 1em;
}

/* miscellaneous ................................................ */

DIV.contents { /* margin-top: 1em; */ text-align: center; }

KBD { font-weight: normal; }
/* KBD, CODE { font-weight: normal; } */

.code{
 font-family: monospace;
 font-size: normal;
 /* font-weight: normal; */
 white-space: pre;

 margin: 0em 1em;
 padding: 1em 1em;

 border-width: 0pt;
/* border-style: solid; */

 color:        white;
 border-color: white;
/* background-color: #191970; */
 background-color: #727272;

 text-indent: 0em;
}

.cite{
 margin: 0em 2em;
 padding: 1em 1em;

 border-width: 1pt;
 border-style: solid;

 /* color:        white; */
 border-color: white;
/* background-color: #191970;
 background-color: #727272; */

 text-indent: 0em;
}

/* positionnings ................................................. */

.center{ text-align: center; }
.right { text-align: right; }

/* colors of table colum/rows .................................... */

.head{ background: #DDDDAA; color: black; }
.odd { background: #FFCCCC; color: black; }
.even{ background: #EEBBBB; color: black; }

/* equation division ............................................. */

DIV.eqn{ text-align: center; }