/* This is a STYLE FILE for CASCADING STYLE SHEETS .*/

/* Background colour of the whole page */
body 
{
  background-color: BlanchedAlmond;
  color: Black
}

p                /* Paragraphs */
{
  font-family : "sans serif"; /* Text font of paragraphs */
  margin-left : 50px          /* Left margin of paragraphs */
}

hr {color:navy}        /* Horizontal rule */

/*  Headers */
h1 {text-align: center; color: Blue; background-color:AliceBlue}
h2 {text-align: left; color: Maroon; background-color:Silver}
h3 {text-align: left; color: Tomato; background-color:Aquamarine}
h4 {text-align: left; color: DarkCyan; background-color:Salmon}
h5 {text-align: left; color: DarkBlue; background-color:Cyan}

input:focus{background-color:White;}

.application {color: Black; background-color:LightGray;}
.author {color: Black; background-color:Orange;}
.bad {color: White; background-color:Red;}
.candidate {color: Red; background-color:Yellow;}
.CONJUNCTION {color: Black; background-color:LightGreen;}
.classNotes {color: Black; background-color:Salmon;}
.disclaimer {color: White; background-color:Blue;}
.DISJUNCTION {color: Black; background-color:Lavender;}
.editor {color: Black; background-color:AliceBlue;}
.exampleTable {color: Black; background-color:White; padding: 2px; border-spacing: 10 20px;}
.EQUALITY {color: Black; background-color:Peru;}
.EQUIVALENCE {color: Black; background-color:Orange;}
.FOR_ALL {color: Black; background-color:Gold;}
.general {color: Black; background-color:White;}
.good {color: Black; background-color:LightGreen;}
.IMPLICATION {color: Black; background-color:LightBlue;}
.knownFact {color: Black; background-color:White;}
.language {color: Black; background-color:Red;}
.main {color: Black; background-color:BlanchedAlmond;}
.NEGATION {color: Black; background-color:Gray;}
.No_value {color: White; background-color:Blue;}
.particular {color: Black; background-color:AliceBlue;}
.predicate {color: Black; background-color:Khaki;}
.PREDICATE {color: Black; background-color:Khaki;}
.proof {color: Black; background-color:LightYellow;}
.research {color: Yellow; background-color:Green;}
.rule {color: Yellow; background-color:Blue;}
.study {color: Black; background-color:LightGreen;}
.subject {color: Black; background-color:LightGreen;}
.symbol {color: Black; background-color:Cyan;}
.theorem {color: Black; background-color:Yellow;}
.THERE_EXIST {color: Black; background-color:LightPink;}
.THERE_EXIST_UNIQUE {color: Black; background-color:HotPink;}
.toProve {color: Black; background-color:White;}
.toNotes {color: Black; background-color:White;}
.translation {color: Black; background-color:Tan;}
.tutorial {color: Black; background-color:Yellow;}
.visitors {color: White; background-color:Brown; text-align:right}
.warning {color: DarkGreen; background-color:Salmon}


.wrap {
}
.left_col {
   float:left;
   width:48%;
border-right:1px solid gray;
padding:1em;
}
.right_col {
   float:right;
   width:48%;
border-left:1px solid gray;
padding:1em;
}
.footer {
	clear:both;
}

table td{

 padding:0px 50px 0px 10px; /* top right bottom left */

 }