#col-a[id] { /* [2] */
  margin-left: -1px; }

#col-b[id] { /* [2] */
  margin-right: 1px; }

#col-c[id] { /* [2] */
  margin-left: 1px; }
	
.cols-wrapper[class] {
  padding-bottom: 0.1px; /* [4] */ }
	
.float-wrapper[class] { /* [2] */
  margin-right: -1px; }

div.pubs-detail-forms p {
	line-height: .9em; }	

/* Setting height to td doesn't work in FF, use line-height as fallback */
.display.gen-diagonal tbody tr td {
	line-height: 40px; }

/*
  [2] Support for Mozilla, but IE doesn't like it.
  [4] Mozilla needs a non zero value, seems to be a bug.
*/