/* to be synchronized with other languages directories */

body  {
       font-family: SansSerif;
       font-size: small;
       color: black
}
       
p   {
     font-family: SansSerif;
     font-size: small;
     font-weight: normal;
		}
     
div.screenshot   {
     margin-top: 15px;
     margin-left: 20px;
     margin-bottom: 15px;
}


var {
	  font-weight: bold;
	  font-style: italic
}


address {
	color: blue;
	font-style: italic
}

ul li ul {
    margin-top: 0px;
    margin-bottom: 0px;
}

div.note p {
	  margin-top: 0px;
}

div.warning p {
	  margin-top: 0px;
}

div.tip p {
	  margin-top: 0px;
}

.nospace {
   margin: 0px;
}

p.methodDetailedDesc{
      margin-left:30px;
}
div.variablelist{
     margin-left:30px;
}