@import url('code.css');

body {
  background: #ffffcc;
  margin: 0;
  padding: 0;
  font-family: Arial, sans-serif;
  font-size: 12px;
  color: #5a5a5a;
}

.left { 
    float: left;
    width: 60%;
}

.center { 
    margin-left: auto;
    margin-right: auto;
}  


.right { 
    float: right;
    width: 40%;
    text-align: right;
} 

.clear { 
    clear: both;         
} 

#head { 
    width: 1020px;
    margin-left: auto;
    margin-right: auto;
}

#head .strip { 
    padding: 0.2em;
}               

#head a { 
    border-bottom: none;
}

#head hr { 
     noshade; 
     height: 1px;
}

#head .description { 
  font-family: Arial, sans-serif; 
  font-size: 14px;
  text-align: left;
  font-weight: bold;
}

#head .download { 
  font-family: Arial, sans-serif; 
  font-size: 45px;
  font-weight: bold;
}

#head .lang { 
     border:0;   
}

#body { 
    width: 1020px;
    margin-left: auto;
    margin-right: auto;
    text-align: left;
    padding-bottom: 2em;
}

#contentbar { 
    width: 840px;
    background-color: white;
    float: right;
}              

#content { 
    margin: 10px;
    width: 660px;
    float: left;
    background-color: white;
}           

#content h1, #content h2 { 
    margin-top: 10px;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
    padding: 0;
    font-family: Arial, san-serif;
}                          

#content .description{  
    text-align: right;
    font-style: italic;
    margin-top: 5px;
    margin-bottom: 5px;
}

#content .block-title{
    margin-top: 10px; 
    text-align: left;
    font-weight: bold;
    font-size: 12px;
 }

#content .message{
    padding: 5px;  
    border: 1px dashed gray;
}

#content pre { 
    margin-top: 0px; 
    font-family: Courier New, san-serif;
    font-size: 12px;
}

#content .bash{ 
    background-color: black;
    color: white;
}

#content .config{ 
    background-color: blue;
    color: white;
}

#menubar { 
    float: left;
    width: 180px;
}

#advbar { 
    float: right;
    width: 160px;
    background-color: white;         
}

#footer { 
    width: 1020px;
    margin-left: auto;
    margin-right: auto;
    font-size: 10px;
    text-align: left;
}

input, textarea { 
    border: 1px solid black;
    padding-left: 2px;
}

img {  
    border: 0;
}

a:link, a:visited {
  color: #2d8930;
  text-decoration: none;
}

a:hover, a:active {
  color: #cc0000;
  text-decoration: none;
}

.normal { 
  background-color: #ffffcc;
}

.highlight { 
  background-color: white;
}

.menu { 
  font-family: Arial, sans-serif; 
  font-size: 14px;
  font-weight: bold;
  border: 0;
  border-spacing: 0;
  padding: 0;
}