/* global */
html{height: 100%;}

body
{ font-family: verdana, arial, sans-serif;
  padding: 10px;
  margin-left: 100px; margin-right: 100px;
  text-align: justify;
  color: #454F47;
}


p
{ margin: 0px;
  padding: 0px 0px 16px 20px;
  line-height: 1.7em;
}

h1
{ font-family: arial, sans-serif;
  font-size: 108%;
  letter-spacing: .1em;
  background: transparent;
  color: #FF9C27;
  border-color: #FF9C27;
}

h2
{ margin: 0px;
  padding: 0px 0px 4px 0px;
  font-size: 100%;
}

h3
{ margin-top: 50px;
  padding: 0px 0px 4px 0px;
  font-size: 150%;
  color:red;
}



img{border: 0px;}

a{outline: none;}

/* image positioning - left, right and center */
.left
{ float: left; 
  padding: 0px 8px 0px 0px;
}

.right
{ float: right; 
  padding: 0px 0px 0px 8px;
}

.center
{ display: block;
  text-align: center;
  margin: 0 auto;
}

/* block quote*/
blockquote
{ margin: 0px 0px 0px 20px; 
  padding: 5px 2px 0px 2px;
  border-left: 4px solid; 
  background-color:#eeeeee;

  border-color:red;
 
}

span.token
{ margin: 5px 0px 5px 0px;
  padding: 5px 2px 5px 0px;
  font-weight:bold;
  background-color:white;

}

code.function
{ margin: 0px 0px 0px 20px;
  padding: 5px 2px 5px 2px;
  font-weight:bold;
  background-color:#eeeeee;
}

/* link*/

a:link {color: #6699CC;}

a:visited{ color:#660099;}

a:hover
{ background-color:yellow;
  color:#6699CC;
}

/* unordered list */
ul
{ margin: 8px 0px 0px 16px;
  padding: 0px;
}

ul li
{ list-style-type: none;
  margin: 0px 0px 11px 0px; 
  padding: 0px;
}

/* allow overriding by adding class="disc" */
ul.disc li, ul li.disc
{
list-style-type: disc;
}

/* ordered list */
ol
{ margin: 8px 0px 0px 24px;
  padding: 0px;
}

ol li
{ margin: 0px 0px 11px 0px; 
  padding: 0px;
}

/* margin lefts / margin rights - to centre content */
#main, #links, #footer, #logo, #menu, #content
{ margin-left: auto; 
  margin-right: auto;
}


/*  VARIOUS ENVIRONMENTS */

div.figure {margin-left:300px;
            font-size: 70%;}

.mediaobject{text-align: center;}

.caption{font-weight:bold;
         font-size: 70%;}

div.definition {
                 background:#eeeeee; 
                 width:100%; 
                 margin-bottom: 30px;
                 padding-top:10px;
               }

.definition b   {color:red;}


div.example  {margin-top:30px;
               margin-bottom:30px}

.example b   {color:lightgreen;}


div.exercise  {margin-top:30px;
               margin-bottom:30px}

.exercise b   {color:lightblue;}


div.assertion {margin-top:30px;
               background:#eeeeee;
               padding-top:10px; }

.assertion b {color:red}


.assertion claim 
{ font-style:italic;
  font-color:black;
  }
				   

div.proof {margin-top:50px;
               }

.algorithm b  {color:red;} 

