BODY
            { 
              FONT-FAMILY: sans-serif;
            }


P           { 
              FONT-FAMILY: sans-serif;
            }


.Paragraph  {
              MARGIN-LEFT: 10px;
              MARGIN-TOP: 10px;
              MARGIN-BOTTOM: 10px;
            }


LI P.Paragraph        
            {
              MARGIN-LEFT: 0px;
              MARGIN-TOP: 5px;
              MARGIN-BOTTOM: 5px;
            }


.PropText, .Code
            { 
              FONT-FAMILY: monospace; margin-top: 2px; margin-bottom: 2px; 
            }
			

P.Code		{
              MARGIN-LEFT: 30px; margin-top: 2px; margin-bottom: 2px;
            }

.emph,.bold,.prodname
            {
              font-weight: bold;
            }
            
.doctitle   {
              font-weight: bold;
              font-size: 200%;
            }
            
.chapterheader
            {
              width: 100%;
            }
            
.header     {
              border-style: solid;
              border-width: 1px;
              border-color: #000000;
              padding: 5px 5px 5px 5px;
              background: #DDDDDD;
              font-weight: bold;
              font-size: 120%;
            }

.chaptertable
            {
              width: 100%
            }
            
table.toc   {
              width: 100%;
              border-style: solid;
              border-width: 1px;
              border-color: #000000;
              padding: 5px 5px 5px 5px;
              background: #DDDDDD;
            }
            
.chaptertocheading
            {
              font-weight: bold;
              font-size: 120%;
            }

.hierarchy
			{
              font-size: 75%;
            }
			
.MigrationTipp, .MigrationTippSO5
			{
              MARGIN-LEFT: 50px;
			  MARGIN-RIGHT: 50px;
              MARGIN-TOP: 20px;
              MARGIN-BOTTOM: 20px;
			  border-style: solid;
			  border-width: 1px;
			  border-color: #000000;
			  padding: 5px 5px 5px 5px;
			  background: #EEEEEE;
            }

			
H1, .Head1          { font-size: 200%; font-weight: bold; }
H2, .Head2          { font-size: 150%  }
H3, .Head3          { font-size: 140%; font-weight: bold;  }
H4, .Head4          { font-size: 110%; font-weight: bold;  }
H5, .Head5          { font-size: 100%; font-weight: bold;  }
H6, .Head6          { font-size: 100%;  }
