/*-------------------------------------------------------------------------
   General Definitions
-------------------------------------------------------------------------*/

body {
	margin: 30px 30px 30px 30px;
	color: #272728;
	background-color: white;
	font-family: Verdana, Sans-Serif;
}

div.title {
	font-size: 2em;
	font-family: arial,sans-serif;
	letter-spacing: 1px;
	color: #f5ab03;
	background-color: transparent;
	width: 100%;
	text-align: center;
	margin-bottom: 1em;
}

div.subtitle {
	font-family: arial,sans-serif;
	font-size: 2em;
	font-weight: bold;
}

div.section {
	font-size: 1em;
	color: black;
	background-color: transparent;
	padding: 30px 0px 10px 0px;
	letter-spacing: 1px;
}

div.heading {
	margin-bottom: 30px;
	font-family: Tohama, Arial, sans-serif;
	font-weight: bold;
	font-size: 1em;
	padding-bottom: .1em;
	border-bottom: 1px solid #bbac03;
	width: 30em;
}

div.disclaimer {
	font-size: smaller;
	color: Black;
	text-align: right;
	width: 100%;
	margin: 30px 5px 0px 5px;
}

div.inlineimg {
	text-align: center;
	margin: 2em 0em 2em 2em;
}

div.text {
	padding-bottom: 1em;
	font-size: 1em;
	letter-spacing: 0px;
	color: Black;
	background-color: Transparent;
	font-weight: normal;
	margin-left: .9em;
}

div.smalltext {
	font-size: .7em;
	font-weight: normal;
	color: Black;
	background-color: Transparent;
	letter-spacing: 0px;
}

div.equation {
	margin: 10px 0px 10px 30px;
}

span.italic {
	font-style: italic;
}

span.bold {
	font-weight: bold;
}

span.code {
	font-family: Courier New, Courier, Fixedsys;
	font-size: 1.1em;
	padding: 0px .2em 0px .2em;
	color: #565656;
}

a.links {
	margin: 0px 0px 0px 10px;
}

a {
	text-decoration: none;
	background-color: transparent;
	color: #1f0df4;
	font-weight: normal;
}

a:visited {
	color: #0a0c8c;
}

a:hover {
	text-decoration: underline;
	color: #f51424;
}


/*----------------------------------------------------------------------
   Proofs 
----------------------------------------------------------------------*/
div.proof {
	width: 90%;
	left: 20%;
	margin: 2em 3em 2em 3em;
	padding: 2em 2em 2em 2em;
	letter-spacing: 0px;
	color: Black;
	background-color: Transparent;
	font-weight: normal;
	border: solid 1px black;
	min-width: 600px;
}

span.pfname {
	font-weight: bold;
	padding: .1em .1em .1em .1em;
}

div.pfstatement {
}


li.pfcase {
	margin: 30px 0px 30px 0px;
}

div.pfcase {
	height: auto;
}


/*-----------------------------------------------------------------------
   Drawing rules 
-----------------------------------------------------------------------*/
div.rule {
	text-align: center;
	margin: 1em 0em 1em 0em;
	padding: .2em .2em .2em .2em;
	height: 4em;
	width: 70%;
}

div.rulebody {
	margin: .2em .2em .2em .2em;
	float: left;
	width: 60%;
	vertical-align: middle;
}

div.rulename {
	margin: 1em 2px 2px 2px;
	display: inline;
	float: left;
	width: 20%;
	text-align: left;
}

div.premises {
	border-bottom: solid 1px black;
	margin-bottom: .5em;
	padding-bottom: .5em;
}

span.premise {
	padding: 0px 10px 0px 10px;
}

span.premnum {
	font-weight: lighter;
	font-size: .8em;
	letter-spacing: 0px;
	margin: 0px 2px 0px 2px;
}


/*------------------------------------------------------------------------ 
   Judgements 
------------------------------------------------------------------------*/
div.judgementdefinition {
	margin: 1em 1em 1em 1em;
	padding: 2px 2px 2px 2px;
}

span.judgename {
	margin: 1px 1px 1px 1px;
	border: solid 1px black;
	width: auto;
}

span.judgement {
	font-weight: bold;
}


/*------------------------------------------------------------------------
   2 column proofs 
------------------------------------------------------------------------*/
div.pf2col {
	width: 90%;
	height: auto;
	padding: .2em .2em .2em .2em;
	margin: .2em .2em .2em .2em;
}

div.pfline {
	width: 100%;
	height: 2em;
	vertical-align: middle;
}

span.step {
	height: 1.5em;
	padding: .2em .2em .2em .2em;
	text-align: left;
	width: 40%;
	float: left;
	margin-top: .25em;
}

span.reasoning {
	height: 1.5em;
	text-align: left;
	float: right;
	width: 40%;
	padding: .2em .2em .2em .2em;
	margin-top: .25em;
}


/*---------------------------------------------------------------------
   Items for course info page
---------------------------------------------------------------------*/
div.subsection {
	font-weight: bold;
	padding-bottom: 0.5em;
}

table.info td, table.info th {
	font-size: 1em;
	text-align: left;
	padding: 5px;
}


/*---------------------------------------------------------------------
   Items for proof structure page
---------------------------------------------------------------------*/
table.IHstruct {
	width: 450px;
	text-align: left;
	font-size: 12px;
	margin: 2em 0em 2em 5em;
	cell-spacing: 5px;
}

tr.IHrow {

}

td.IH {
}

td.IHnum {
	text-align: right;
}

td.assume {
}

td.mp {
}

ul.colorkey {
	list-style-type: none;
}

li.colorkey {
	text-indent: .2em;
	line-height: 1.5em;
	margin: 1em 1em 1em -1.5em;
}

li.spaced {
	margin: .5em 0em .5em 0em;
}

span.var {
	font-weight: bold;
}

span.redbox {
	border: red 2px dotted; 
	padding: 0.1em 0.1em 0.1em 0.1em;
}

span.bluebox {
	border: aqua 2px dotted; 
	padding: 0.1em 0.1em 0.1em 0.1em;	
}

span.greenbox {
	border: lightseagreen 2px dotted; 
	padding: 0.1em 0.1em 0.1em 0.1em;	
}

#bigpurplebox1,
#bigpurplebox2 {
	border: fuchsia 2px dotted; 
	padding: 0.1em 0.1em 0.1em 0.1em;
}

#purplebox1,
#purplebox2,
#purplebox3 {
	border: purple 2px dotted; 
	padding: 0.1em 0.1em 0.1em 0.1em;
}

span.limebox {
	border: lime 2px dotted; 
	padding: 0.1em 0.1em 0.1em 0.1em;	
}

#toprow {
	border: gray 2px solid; 
}

#smalltext {
	font-size: 0.7em; 
	margin-right: 0.5em;
}

#norow {
	border-bottom: none;	
}