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

body
{
	margin-left: 40pt;
	margin-right: 0pt;
	margin-top: 20pt;
   	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); */
}

/* LINKS */
/* for unvisited links */
a:link { color: #000000; }

/* for visited links */
a:visited { color: #000000; }

/* when the link is clicked */
a:active { color: #000000; }

/* when the cursor goes over the link */
a:hover { background-color: #000000; color: #FFFFFF }

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

h1
{
	font-size: 150%;
	margin-top: .25em;
	margin-bottom: 0;
	text-align: center;
	font-weight: bold;
}

div.author
{
	font-size: 120%;
	margin-top: .25em;
	margin-bottom: 0;
	text-align: center;
	font-weight: normal;
	font-style: italic;
}

h2
{
	font-size: 135%;
	font-weight: bold;
	margin-top: 1em;
	margin-bottom: .25em;
}

h2.flushbottom
{
	margin-bottom: 0;
}

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

h3.flushbottom
{
	margin-bottom: 0;
}

h4,h5
{
	margin-top: .75em;
	margin-bottom: .1em;
}

h4
{	
	font-size: 115%;
	font-weight: bold;
}

h5
{
	font-size: 100%;
	font-weight: bold;
}

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

/* 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%;
}

/* 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%;
	text-align: right;
	font-size: 110%;
	margin-left: 0;
	margin-right: 0;
   	margin-top: .5em;
	margin-bottom: .5em;
	font-family: TIMES NEW ROMAN, TIMES ROMAN, TIMES, SERIF;
	font-style: italic;
}

div.marginflush
{
	line-height: 130%;
	margin-left: 0;
	margin-right: 0;
   	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: #CCCCCC;
	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: #CCCCCC;
	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: #CCCCCC;
	padding-left: .5em;
	padding-right: .5em;
	padding-top: .5em;
	padding-bottom: .5em;
	border: solid thin;
	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;
}

/* 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: #CC0000;
}

div.answer
{
	border: dashed thin;
/*	font-style: italic; */
	margin-top: .25em;
	margin-bottom: .25em
	clear: left;
}

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

p.flushbottom
{
	margin-bottom: 0;
}

p.box
{
   	margin-top: 0;
}

p.flushtop
{
   	margin-top: 0;
}

ol
{
	list-style-type: decimal;
	margin-bottom: .5em;
	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;
}

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; }

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

table.text
{
	padding: 0;
	margin: 0;
	border: 0;
	border-spacing: 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.text tr td
{
	padding: 0;
	margin: 0;
	border: 0;
	vertical-align: top;
}

table.text tr
{
	padding: 0;
	margin: 0;
	border: 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: black;
	padding-left: 2pt;
	padding-right: 2pt;
}

/* INLINE ELEMENTS */
/* 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; }