@charset "utf-8"; 
/* tex-story.css */

body { 
padding-left : 6em;
padding-right : 6em;
padding-bottom : 0em;
font-family: "Times New Roman", times, serif;
}
body.v1 {
margin : 0 8%;
font-family : arial, verdana, helvetica, sans-serif;
font-size : small;
}
p.story {
font-family: "Times New Roman", times, serif;
font-weight : normal;
line-height : 1.3;
}
p.story-title {
font-weight : bold;
text-align : left;
text-decoration : underline;
}
p.intro, div.intro {
font-family : "Arial Unicode MS", arial, verdana, helvetica, sans-serif;
vertical-align : top;
background-color : #FAFAD2;
color : black;
text-align : left;
border     : #663333 1px solid; 
margin-left  : auto;
margin-right : auto;
padding      : 1em;
}

.copyright {
font-size    : 0.9em;
font-family  : "Times New Roman", times, serif;
text-align   : center;
margin-left  : auto;
margin-right : auto;
padding-top  : 1.5em;
line-height  : 1.3;
}
table.nav {
border : 1px solid black;
border-collapse : collapse;
font-size : 0.7em;
font-family: "Times New Roman", times, serif;
text-align : left;
padding : 0em;
margin-left  : auto;
margin-right : auto;
}
td.nav {
padding : 0em 1em;
border : 1px solid black;
}
div.ctr, div.prologue, .footer {
text-align : center;
margin-left : auto;
margin-right : auto;
}
div.prologue {
padding-top    : 1em;
padding-bottom : 1em;
}
.footer {
font-size : 80%;
}
table {
margin-left  : auto;
margin-right : auto;
}
.keyterm {
font-family : arial, verdana, helvetica, sans-serif;
font-size   : 90%;
font-weight : bold;
color : #FF0000;
white-space : nowrap;
}

@media all { /* hide from NN4 */
.leftbar {
	color: #000066;
	background-color : #F6F6BB;
	border: 1px solid #000000;
	font-size : 90%;
	float: left;
	width: 15%;
	padding: .5em;
	margin: 0 1em 1em 0;
	}
.rightbar {
	color: #000066;
	background-color : #F6F6BB;
	border: 1px solid #000000;
	font-size : 90%;
	float: right;
	width: 15%;
	padding: .5em;
	margin: 0 0 1em 1em;
	}
}

a:hover {
background-color:yellow;
color : black;
}

h1, h2 {text-align : center; }

.small {
font-size : 80%;
}
.emph {
color : blue;
font-style : italic;
}
.large {
font-size : 110%;
}
.nobrk {
white-space : nowrap;
}
.under {
text-decoration : underline;
}
.ital {
font-style : italic;
}
.sub   {
vertical-align : sub;
font-size : 65%;
}
.sup   {
vertical-align : super;
font-size : 65%;
}
.code {
font-family  :  "Courier New",  verdana, "Lucida Sans Unicode", monospace;
font-weight  : bold;
color        : #FF0000;
}
.codelines {
font-family  :  "Courier New",  verdana, "Lucida Sans Unicode", monospace;
font-weight  : bold;
color        : #333366;
padding-left : 3em;
white-space  : pre;
border : 1px dashed #333366;
}

.xc {
font-family : verdana, arial, helvetica, sans-serif;
font-weight : bold;
color       : #000066;
font-style : italic;
}

.able-ad {
text-align:center;
font-family:arial,verdana,helvetica,sans-serif;
font-weight:900;
font-size: x-small;
color:#069;
width:468px;
}


.serif {font-family: "Times New Roman", times, serif;}
.sans  {font-family: "Arial Unicode MS", arial, verdana, helvetica, sans-serif;}
.cursive   {font-family: cursive;}
.monospace {font-family: monospace;}
.fantasy   {font-family: fantasy;}

/* tex-story.css */