/* Product name *****************************/
span.Eureka				
{
	color: #C94409;
	font-weight: bold;
	font-family: "Times New Roman" Times serif;
	font-size: 100%;
	text-align: center;
	font-variant: small-caps;
}

/* chapter title ******************************/
h1	
{
	color: #C94409;
	font-weight: bold;
	font-family: "Times New Roman" Times serif;
	font-size: 400%;
	text-align: center;
	line-height: 100%;
	font-variant: small-caps;
}

/* section title *********************************/
h2	
{
	color: #C94409;
	font-weight: bold;
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	font-size: 200%;
	text-align: left;
	font-variant: small-caps;
}

h3
{
	color: #C94409;
	font-weight: bold;
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	font-size: 150%;
	text-align: left;
	font-variant: small-caps;
}

h3.subsection
{
	color: #C94409;
	font-weight: bold;
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	font-size: 150%;
	margin-left: 5%;	
	font-variant: small-caps;
}

h4	
{
	color: #C94409;
	font-weight: bold;
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	font-size: 150%;
	text-align: left;
	margin-left: 10%;
	font-variant: small-caps;
}

/* paragraph with header ****************************************/
.labeled_paragraph
{
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	font-size: 100%;
	text-align: left;
	margin-left: 10%;
	margin-bottom: 0;
	margin-top: 0;
}

.deep_indent
{
	padding-left: 60px;
}

h5.labeled_paragraph	
{
	color: #C94409;
	font-weight: bold;
}

p.labeled_paragraph
{
}

/* all button actions *********************************************/
a
{
		font-family: "MV Boli", "Comic sans MS", sans-serif;
}

a.help
{
	background: #FABAEC;
	color:#000000;
	text-decoration: none;
}

a.cross-reference
{
	background: #EFEFEF;
	color:#000000;
	text-decoration: none;
}

a.check-answer
{
	background: #68F559;
	color:#000000;
	text-decoration: none;
}

a.external-reference
{
	background: #C0C0FF;
	color:#000000;
	text-decoration: none;
}

a.section
{
	background: #8F8F8F;
	color:#000000;
	text-decoration: none;
}

a.back
{
	background: #EFEFEF;
	color:#000000;
	text-decoration: none;
}

a.next
{
	background: #EFEFEF;
	color:#000000;
	text-decoration: none;
}

a.exercises
{
	background: #EFEFEF;
	color:#000000;
	text-decoration: none;
}

figure
{
	display: block;
    margin-left: auto;
    margin-right: auto
}

li
{
	font-family: "MV Boli", "Comic sans MS", sans-serif;
}

p
{
	font-family: "MV Boli", "Comic sans MS", sans-serif;
}

p.subsection
{
	margin-left: 5%;
}

/* example style  *********************************************/
.example
{
	color: #00005F;			/* dark blue */
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	margin-left: 5%;
}
h3.example
{
	font-weight: bold;
	font-size: 150%;
	font-variant: small-caps;
}

p.example
{
	font-size: 100%;
}

li.example
{
	font-size: 100%;
}

/* definition style  *********************************************/
.definition
{
	color: #7F0000;			/* dark red */
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	font-weight: bold;
	margin-left: 5%;
}
h3.definition
{
	font-weight: bold;
	font-size: 150%;
	font-variant: small-caps;
	margin-bottom: 0;
	margin-top: 0;
}

p.definition
{
	font-size: 100%;
	margin-bottom: 0;
	margin-top: 0;
}

li.definition
{
	font-size: 100%;
}

a.definition
{
	background: #FFC8C8;		/* light red */
	color: #000000;
	text-decoration: none;
}

/* stretch your mind style  *********************************************/
.stretch-your-mind
{
	color: #007F00;			/* dark green */
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	margin-left: 5%;
}

h3.stretch-your-mind
{
	font-weight: bold;
	font-size: 150%;
	font-variant: small-caps;
	margin-bottom: 0;
	margin-top: 0;
}

p.stretch-your-mind
{
	font-size: 100%;
	margin-bottom: 0;
	margin-top: 0;
}

li.stretch-your-mind
{
	font-size: 100%;
}

a.stretch-your-mind
{
	background: #C8F8C8;		/* light green */
	color: #007F00;
	margin-left: 0;
	text-align: left;
	text-decoration: none;
}

/* discussion style  *********************************************/
.discussion
{
	color: #000000;			/* black */
	font-family: "MV Boli", "Comic sans MS", sans-serif;
	margin-left: 5%;
}

h3.discussion
{
	color: #C94409;
	font-weight: bold;
	font-size: 150%;
	font-variant: small-caps;
}

p.discussion
{
	font-size: 100%;
}

li.discussion
{
	font-size: 100%;
}

a.discussion
{
	background: #C8F8C8;		/* light grey */
	color: #000000;
	text-decoration: none;
	margin-left: 0;
	text-align: left;
}