replace deprecated org.eclipse.jface.util.ListenerList
[phpeclipse.git] / net.sourceforge.phpeclipse.phpmanual / templates / refpage.html
index a59e66d..9f39243 100644 (file)
@@ -12,10 +12,13 @@ body {
 body, h1, h2, h3, h4, p, div code, pre {
        font-size: small;
 }
-p, div, h1, h2 {
+p, div, h1, h2, h3, h4, dl, dt {
        padding: 0px 0px 0px 0px;
        margin: 5px 1px 1px 1px;
 }
+table {
+       border-width: 1px;
+}
 </style>
 </head>
 <body>