1 files changed, 1 insertions, 19 deletions
diff --git a/html/xhaddock.css b/html/xhaddock.css
index e0a4922a..731eee8a 100644
--- a/html/xhaddock.css
+++ b/html/xhaddock.css
@@ -296,29 +296,11 @@ p.arg span {
 	float: none;
 }
 
-p.inst-header {
-	font-weight: bold;
-	margin-bottom: 0;
-}
 
-p.inst-header img {
+img.coll {
 	width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em 
 }
 
-ul.int {
-	margin-top: 1em;
-	margin-bottom: 1em;
-}
-ul.inst li {
-  background-color: #f0f0f0; 
-  font-family: monospace;
-  vertical-align: top;
-	margin-top: 1px;
-	margin-bottom: 1px;
-	padding: 2px;
-	margin-left: 20px;
-	list-style-type: none;
-}
 
 td.arg {
   padding: 3px;