@-moz-document url-prefix("http://www.php.de/wiki-php/") {

#column-one {
  width:200px !important;
  }

pre {
  background-color: #f9f9f9 !important;
  border: 1px solid #aaa !important;
}


#column-one ul {
  margin-top:1em !important;
  margin-bottom:1em !important;
  margin-left:2.5em !important;
  list-style-image:url(http://www.php.de/wiki-php/skins/vbwikiskin/bullet.gif) !important;
  }

.portlet {
  list-style-image:url(http://www.php.de/wiki-php/skins/vbwikiskin/bullet.gif) !important;
  list-style-position:outside !important;
  }

.portlet li ,
#column-one ul li {
  list-style-image:url(http://www.php.de/wiki-php/skins/vbwikiskin/bullet.gif) !important;
  list-style-type:square !important;
  margin:0.2em 0 0 0 !important;
  }

#column-one ul li a {
  text-decoration:none !important;
  }

#column-one .portlet {
  width:200px !important;
  }

#searchBody input.searchButton {
  width:44% !important;
  margin:0.4em 0 !important;
  border:1px solid #888 !important;
  }


#searchBody input#searchInput {
  width:90% !important;
  margin:0.4em 0 !important;
  }

#vbw-globalWrapper table {
/*  width:100% !important;  */
  }

#vbw-content {
  border-style:solid !important;
  border-width:1px !important;
  border-color:#aaa !important;
  padding-left:2em !important;
  padding-right:2em !important;
  width:auto !important;
  margin-bottom:1em !important;
  }


#column-content {
  width:auto !important;
  padding-top:1em !important;
/*  padding-top:2.4em !important ; */
  }

/*
#vbw-content>div {
  width:92ex !important;
}


#vbw-content>p {
  width:96ex !important;
  }
*/
#vbw-content p {
  line-height:1.3em !important;
  }

#vbw-content ul {
  margin-top:1em !important;
  margin-bottom:1em !important;
/*  width:86ex !important; */
  }

li {
  margin-bottom:0.4em !important;
  line-height:1.3em !important;
  }

#toc {
  margin:1em 0 !important;
  padding-left:1em !important;
  padding-right:6em !important;
  }

#toc li {
  margin-bottom:0.1em !important;
  }

#toc ul {
  margin-top:0 !important;
  margin-bottom:0 !important;
  }

#toctitle {
  text-align:left !important;
  margin:0.4em 0 1em !important;
  }

#vbw-content .firstHeading {
  margin-top:0.6em !important;
  }

#vbw-content h1 {
  width:90% !important;
}

#vbw-content h2 ,
#vbw-content h3 {
  width:100% !important;
  margin-top:1em !important;
}

#vbw-content h4 {
  font-weight:bold !important;
  }
#catlinks {
  margin-top:4em !important;
  }

#catlinks a {
  text-decoration:none !important;
  }

h1.firstHeading {
  font-weight:bold !important;
  color:#3E5C92 !important;
  font-size:170% !important;
  }
}