/* links */
a {  
    color:#0000FF;
    text-decoration: none; 
    background-color:inherit;
    }
a:visited { 
            color:#990099;
            text-decoration: none;
            background-color:inherit;
            }
a:link { 
         color:#0000CC;
         background-color:inherit;
         }
a:hover {
          color:black;
          text-decoration: underline;
          background-color:inherit;
}

/* x86_64 links */
a.amd64 {
    color:#1370BF;
    text-decoration: none; 
    background-color:inherit;
    }
a.amd64:visited { 
            color:#883399;
            text-decoration: none;
            background-color:inherit;
            }
a.amd64:link { 
         color:#1370BF;
         background-color:inherit;
         }
a.amd64:hover {
          color:#555555;
          text-decoration: underline;
          background-color:inherit;
}

/* source links */
a.source {
    color:#E3004F;
    text-decoration: none; 
    background-color:inherit;
    }
a.source:visited { 
            color:#C11399;
            text-decoration: none;
            background-color:inherit;
            }
a.source:link { 
         color:#C3004F;
         background-color:inherit;
         }
a.source:hover {
          color:#555555;
          text-decoration: underline;
          background-color:inherit;
}

/* download link */
a.download {  
    color:#6340FF;
    text-decoration: none; 
    background-color:inherit;
    }
a.download:visited { 
            color:#6340FF;
            text-decoration: none;
            background-color:inherit;
            }
a.download:link { 
         color:#6340FF;
         background-color:inherit;
         }
a.download:hover {
          color:black;
          text-decoration: none;
          background-color:inherit;
}

/* bottom links */
a.bottom {  
           color:white;
           text-decoration: none; 
           background-color:inherit;
    }
a.bottom:visited { color:white;
                   text-decoration: none;
                   background-color:inherit;
            }
a.bottom:link { 
                color:white;
                background-color:inherit;
         }
a.bottom:hover {
                 color:white;
                 text-decoration: underline;
                 background-color:inherit;
}

.bottombar
{ 
  text-align:right;
  padding-right:10pt;
  }

/* body of windows */
#bodyid { 
          color:white;
          background-color:black;
          font-size:90%;
          margin: 0px;
          padding: 0px;
          }

/* main window main table */
#top { 
              width:100%;
              height:420pt;
              
              padding:0pt;
              margin:1pt;
              }

/* main window menu column*/
#main_menu_column{ 
                   color:black;
                   background-color:#FFFFCC;
                   
                   width:113pt;
                   text-align:left;
                   vertical-align:baseline;
                 }

/* the main column of the pages */
#main_page_column{ 
                   border-left-style:groove;
                   border-left-width:2pt;
                   border-left-color:black;
                   
                   background-color:white;
                   color:black;
                   
                   text-align:justify;
                   vertical-align: top;
                   
                   padding-left:20px;
                   padding-right:20px;
                   }

/* property of the links in the main menu */
.menudiv{ 
          border:none;
          margin:0pt;
	  display:block;
          }

/* the titles of the menu */
.titlemenu{ 
            text-align:left;
            font-weight:bold;
            margin-top: 5px;
            margin-bottom: 6px;
            padding-left:2px;
}

/* paragraph */
P{ 
   text-align:justify;
   text-indent:0pt;
   padding-left:10pt;
   margin-top:4pt;
   margin-bottom:4pt;
   }

/* ordoned_list */
LI{
   margin-left:10pt;
   margin-top:4pt;
   margin-bottom:4pt;
}

/* unordoned_list */
UL{
    padding-left:20pt;
}

/* news paragraph */
.news{ 
       font-size:100%;
       text-indent:14px;
       border-left:solid #811888 1px;
       padding:3px;
}

/* title of parts of the home page */
.title{ 
        border-bottom-style:dotted;
        border-bottom-width:1px;
        border-bottom-color:gray;
        width:150pt;
        
        font-size:120%;
        font-weight:bold;
        text-indent:14px;
        }

/* the download table on the main page */
.downloadtable{ 
                border-collapse:collapse;
                }

/* cell of the download table */
.dtablecell{ 
             border-style:dotted;
             border-width:1px;
             border-color:black;
             padding-right:5pt;
             padding-left:5pt;
             padding-top:7pt;
             padding-bottom:7pt;
 }

/* main cells of the download table */
.dtablecell1{ 
              border-style:dotted;
             border-width:1px;
             border-color:red;
             padding:5pt;
 }

/* the title of the page */
.pagetitle{ 
            padding:0pt;
            margin:5pt;
 }

/* indented div */
.indentdiv{ 
            text-indent:25pt;
            }

/* features div */
.featdiv{ 
          padding-left:20pt;
          color:#00606B;
          background-color:inherit;
          text-decoration:underline;
          font-style:italic;
          }

/* color span */
.colorspan{ 
            color:#00505A;
            font-style:italic;
            background-color:inherit;
          }

/* li about feature */
.lifeatures{ 
             color:black;
            background-color:inherit;
             }

.yes
{ 
  font-weight:bold;
  color:green;
  background-color:inherit;
 }

.no
{ 
  font-weight:bold;
  color:red;
  background-color:inherit;
 }

.section
{
  font-weight:bold;
  margin-top:10pt;
  margin-bottom:5pt;
  margin-left:10pt;
 }

PRE{ 
     padding-left:15pt;
 }

CODE{ 
     padding-left:15pt;
 }

/* main page download table */
.mainpagedownloadtable
{ 
  margin-left:10pt;
  margin-right:10pt;
  border: none;
  border-collapse:collapse;
  empty-cells:hide;
}

.mainpagedownloadtd
{ 
  border: thin dotted gray;
  padding:5pt;
 }

/* OS name in the download table */
.osname
{
  font-weight:bold;
  margin-top:3pt;
  }