body {
	background-image:url(postmodernbackground.gif);
	text-align:left;
  font-family:helvetica

	}

div.CategorizedShapes {  font-family:helvetica;
       background-color:rgb(204, 204, 255);
	margin-left:15pt;
	margin-right:15pt;
	margin-top:15pt;
	margin-bottom:15pt;
        border-width:4.4pt;
        border-color:yellow;
        border-style:solid;
	color:rgb(0, 102, 102);
	font-size:small;
	display:block;
	padding-left:10pt;
	padding-right:10pt;
	padding-top:10pt;
	padding-bottom:10pt:
        position: static;
        }
	
div.didactics {background-color:rgb(0,100,0);
               font-size:large;
               font-weight:bold;
               border-style:grooved;
               border-color:red;
               border-width:0.4cm;}
div.assertion{background-color:rgb(108,108,108);
               position:absolute;
               top:420;
               left:200;
               width:400;
               height:100;  
             }
div.lemma {color:yellow}
div.theory{background-color:blue;
            color:yellow;
            font-family:Book Antiqua;
            font-size:x-large;
            font-weight:bold;
            text-decoration:underline;
            border-width:10px;
            border-color:blue;
            visibility:hidden;
            }
div.definition{background-color:rgb(102,102,0);
               color:red;
               font-size:xx-large;
               font-family:Comic Sans MS;
               font-weight:bold;
               vertical-align:bottom;
               text:"none";
               border-style:none;
               position:absolute;
               top:200;
               left:40;
               width:400;
               height:200; 
             }
div.symbol{background-color:red;
           visibility:hidden;
           top:240;
           left:420;
           width:144;
           height:40; 
          }
div.exercise{background-color:yellow;
             visibility:visible;
            }

div.example{background-color:red;
            color:green;
            font-family:Times New Roman;
            font-size:24;
            font-color:green;
            text-align:left;
            margin-top:20pt;
            margin-bottom:20pt;
            margin-left: 4;
            margin-right:4;
            font-style:italic;
            font-weight:normal;
            text-decoration:none;
            vertical-align:top;
            text:"My Example:";
            border-style:  ridge double;
            border-width:10pt;
           }

div.title {
	background-color:rgb(102, 102, 0);
	font-size:xx-large;
	color:rgb(255, 255, 204);
	border-left-width:6pt;
	border-right-width:6pt;
	border-top-width:6pt;
	border-bottom-width:6pt;
	border-left-color:rgb(255, 204, 0);
	border-right-color:rgb(255, 204, 0);
	border-top-color:rgb(255, 204, 0);
	border-bottom-color:rgb(255, 204, 0);
	border-right-style:solid;
	border-left-style:solid;
	border-top-style:solid;
	border-bottom-style:solid;
	margin-left:30pt;
	margin-right:30pt;
	margin-top:40pt;
	margin-bottom:20pt;
	display:block
	}
div.introduction {
	background-color:rgb(204, 204, 255);
	margin-left:15pt;
	margin-right:15pt;
	margin-top:15pt;
	margin-bottom:15pt;
	border-left-width:1pt;
	border-right-width:1pt;
	border-top-width:1pt;
	border-bottom-width:1pt;
	border-right-style:solid;
	border-left-style:solid;
	border-top-style:solid;
	border-bottom-style:solid;
	color:rgb(0, 102, 102);
	font-size:x-large;
	display:block;
	padding-left:10pt;
	padding-right:10pt;
	padding-top:10pt;
	padding-bottom:10pt
	}

a:hover {text-decoration:none;color:rgb(0, 102, 102);}
a:visited {text-decoration:none;color:rgb(0, 102, 102);}
a:link {text-decoration:none;color:rgb(0, 102, 102);}