/*
 STYLE SHEET FOR HOW LANGUAGE WORKS, Ed. 3.0,
 Mike Gasser, Indiana University   
 2006-09-10
*/

body
{
	margin-left: 0;
	margin-right: 0pt;
	margin-top: 0pt;
   	margin-bottom: 20pt;
	padding-left: 0;
	padding-right: 0;
	padding-top: 0;
   	padding-bottom: 0;
	font-family: "Lucida Grande", geneva, arial, sans-serif;
	background-color: #FFFFFF;
	background-image: url(bg.gif);
}

/* HEADINGS */
h1,h2,h3
{
	clear: left;
}

h1
{
	font-size: 145%;
	margin-top: .5em;
	margin-bottom: 0;
}

h2
{
	font-size: 130%;
	font-weight: bold;
	margin-top: .75em;
	margin-bottom: .5em;
}

h2.flushbottom
{
	margin-bottom: 0;
}

h3
{
 	font-size: 115%;
	font-weight: bold;
	margin-top: .5em;
	margin-bottom: .25em;
}

h3.flushbottom
{
	margin-bottom: 0;
}

h4,h5
{
	font-size: 100%;
	margin-top: .35em;
	margin-bottom: .1em;
}

h4
{	
	font-weight: bold;
}

h5
{
	font-weight: normal;
	font-style: italic;
}

/* Scan links and headings. */
div.scanlink
{
	font-size: 75%;
	font-weight: normal;
	margin-left: 10pt;
	margin-right: 10pt;
	margin-top: .25em;
	margin-bottom: .25em;
}

div.scanthis
{
	font-size: 75%;
	font-weight: normal;
	color: #666666;
	margin-left: 10pt;
	margin-right: 10pt;
	margin-top: .25em;
	margin-bottom: .25em;
}

div.scanhead
{
	font-size: 80%;
/*	font-weight: bold; */
	margin-left: 10pt;
	margin-right: 10pt;
	margin-top: 1em;
	margin-bottom: .25em;
}

/* Footer: the line at bottom of a page. */
div.footer
{
	margin-top: 0;
	margin-bottom: 0;
	margin-left: 0;
	margin-right: 0;
	text-align: center;
	font-weight: normal;
	font-size: 90%;
	color: #333333;
}

/* References */
div.ref
{
	margin-top: .5em;
	margin-bottom: .5em;
	margin-left: 1em;
	text-indent: -1em;
}

/* Figures */
div.fig
{
	margin-top: .5em;
	margin-bottom: .5em;
	font-weight: normal;
	text-align: center;
	clear: left;
}

/* Comments in the left margin */
div.margin
{
	line-height: 130%;
	margin-left: 10pt;
	margin-right: 10pt;
   	margin-top: .5em;
	margin-bottom: .75em;
	font-family: TIMES NEW ROMAN, TIMES ROMAN, TIMES, SERIF;
	font-style: italic;
}

div.marginflush
{
	line-height: 130%;
	margin-left: 10pt;
	margin-right: 10pt;
   	margin-top: 0;
	margin-bottom: .75em;
	font-family: TIMES NEW ROMAN, TIMES ROMAN, TIMES, SERIF;
	font-style: italic;
}

/* Boxes for examples, etc. */
div.box1
{
	background: #CCFFCC;
	padding-left: .5em;
	padding-right: .5em;
	padding-top: .5em;
	padding-bottom: .5em;
	border: solid thin;
	margin-bottom: 1em;
	margin-top: 1em;
	clear: left;
}

div.box2
{
	background: #FFCCCC;
	padding-left: .5em;
	padding-right: .5em;
	padding-top: .5em;
	padding-bottom: .5em;
	border: solid thin;
	margin-bottom: 1em;
	margin-top: 1em;
	clear: left;
}

div.boxflush
{
	background: #FFCCCC;
	padding-left: .5em;
	padding-right: .5em;
	padding-top: .5em;
	padding-bottom: .5em;
	border: solid thin;
	margin-bottom: 0;
	margin-top: 1em;
	clear: left;
}

div.centerbox
{
	padding-left: .5em;
	padding-right: .5em;
	padding-top: .5em;
	padding-bottom: .5em;
	border: solid thin;
	margin-bottom: 1em;
	margin-top: 1em;
	margin-left: 2em;
	margin-right: 2em;
	clear: left;
}

/* Prevent paragraphs in boxes from having top margins. */
div.box2 p
{	margin-top: 0;
	margin-bottom: 0;
}

div.boxflush p
{	margin-top: 0;
	margin-bottom: 0;
}

/* But override this if you need to */
div.box2 p.margin
{
	margin-top: .75em;
}

div.centerbox p
{	margin-top: 0;
	margin-bottom: 0;
}

/* Computational stuff */
div.comp
{
	background: #CCFFCC;
	padding-left: .5em;
	padding-right: .5em;
	padding-top: .5em;
	padding-bottom: .5em;
	border: dashed thin;
	margin-bottom: 1em;
	margin-top: 1em;
	clear: left;
}

/* Less important stuff */
div.minor
{
	font-size: 90%;
	padding-left: 1em;
	padding-right: 1em;
	padding-top: 0;
}

div.warning
{
	margin-bottom: 0;
	margin-top: 0;
	font-style: italic;
	color: #FF0000;
}

div.answer
{
	display: none
}

/* Paragraphs */
p
{
	margin-top: .5em;
	margin-bottom: .5em;
	clear: left;
}

p.flushbottom
{
	margin-bottom: 0;
}

p.box
{
   	margin-top: 0;
   	margin-bottom: 0;
}

p.flushtop
{
   	margin-top: 0;
}

ol
{
	list-style-type: decimal;
	margin-bottom: .75em;
	margin-top: .25em;
}

ol.flushbottom
{
	margin-bottom: 0;
}

ol ol
{
	list-style-type: lower-alpha;
/*	margin-top: 0; */
}

ol ol ol
{
	list-style-type: lower-roman;
/*	margin-top: 0; */
}

/* Override this */
ol.a
{
   list-style-type: lower-alpha;
}

ul
{
	margin-bottom: .5em;
	margin-top: .25em;
}

ul.widetop
{
	margin-top: .75em;
}

ul.flushbottom
{
	margin-bottom: 0;
}

dl
{
   margin-top: .5em;
   margin-bottom: 1em;
}

dd
{
   margin-top: .25em;
   margin-bottom: .5em;
}

dt
{
	margin-bottom: .5em;
	margin-top: 1em;
}

dt.flushtop
{
	margin-top: 0;
}

li { margin-bottom: .25em; }
li.flushbottom { margin-bottom: 0 }

/* TABLES.  .in is for table inside other tables. */
table
{
	margin-top: .25em;
	margin-bottom: .5em;
	margin-left: 0;
	margin-right; 0;
	padding: 0;
	font-size: 100%;
	clear: left;
}

table.text
{
	padding: 0;
	margin: 0;
	border: 0;
	border-spacing: 0;
	font-size: 100%;
}

table.text tr td
{
	padding: 0;
	margin: 0;
	border: 0;
	vertical-align: top;
}

table.text tr
{
	padding: 0;
	margin: 0;
	border: 0;
}

table.in
{
/*   margin-top: 0; */
   margin-bottom: 0;
}

td,th
{
	padding-left: 2pt;
	padding-right: 2pt;
	padding-top: 0;
	padding-bottom: 0;
	margin-top: 0;
	margin-bottom: 0;
}

table.ex
{
	border: 2pt;
	border-spacing: 2pt;
/*	border-style: ridge; */
	text-align: left;
	border-style: solid;
}

table.ex tr td,th
{
	padding-top: .1em;
	padding-bottom: .1em;
	padding-left: .2em;
	padding-right: .2em; 
	border: 1pt;
	border-style: solid;
}

/* New terms */
strong
{
	font-style: normal;
	font-weight: bold;
	border: solid thin;
	border-color: red;
	padding-left: 2pt;
	padding-right: 2pt
}

/* INLINE ELEMENTS */

/* Wikipedia links */
a.wp { }

span.term { font-weight: bold }

/* To show pitch */
/* Percentages do not seem to work in Explorer 5.1 */
span.up1 { vertical-align: .5em; }
span.up2 { vertical-align: 1em; }
span.down { vertical-align: -.5em; }
span.small { font-size: small; }

/* Concepts, grammatical functions, etc. */
span.conc { font-variant: small-caps; }

/* Features (so far the same as concepts) */
span.feat { font-variant: small-caps; }

/* Modify characters in various ways */
span.small { font-size: 90%; }
span.big { font-size: 150%; }
span.fuzzy { color: #666666; }
span.green { color: #009900; }
span.red { color: #990000; }
span.blue { color: #0000FF; }

/* LINKS */
a:link
{ 
	text-decoration: none;
	color: #0000AA
}

div.footer a:link
{
	text-decoration: none;
	color: #66C
}

div.scanlink a:link
{
	color: #000;
	text-decoration: none
}

div.scanhead a:link
{
	color: #000;
	text-decoration: none
}

span.wp a:link
{
	color: #000;
	text-decoration: none;
	border: solid thin;
	border-color: #00A
}

a:visited
{
	text-decoration: none;
	color: #5A3696
}

div.footer a:visited
{
	text-decoration: none;
	color: #A6C
}

div.scanlink a:visited
{
	color: #000;
	text-decoration: none
}

div.scanhead a:visited
{
	color: #000;
	text-decoration: none
}

span.wp a:visited
{
	color: #000;
	text-decoration: none;
	border: solid thin;
	border-color: #5A3696
}

a:active
{
	text-decoration: none;
	color: #939;
}

a:hover
{
/*	background-color: #339; */
	text-decoration: underline;
/* 	color: #FFF */
}

/*
strong a:hover
{
	font-weight: bold;
	background-color: #F00
}
*/

div.footer a:hover
{
/*	background-color: #66C; */
	text-decoration: underline;
/* 	color: #FFF */
}

div.scanlink a:hover
{
	background-color: #339;
	color: #FFF;
	text-decoration: none
}

div.scanhead a:hover
{
	background-color: #339;
	color: #FFF;
	text-decoration: none
}

span.wp a:hover
{
	color: #000;
	text-decoration: none;
	background-color: white;
	border: solid;
	border-color: #00A
}