Improve table formatting in output

Mark Craig

09.27.2011 589b178ba2ae174a233fe7b9611f52dc54c12af4

 opendj3/src/main/resources/css/coredoc.css

@@ -123,6 +123,11 @@
 font-size: 13px;
}

hr
{
 display: none;
}

ul
{
    list-style-image: url("../images/bulletpoint.png");
@@ -136,6 +141,11 @@
    background-color: #fafafa;
}

div.navheader
{
 border-bottom: thin solid #ccc;
}

/* Do not repeat the title at the top of the page. */
.navheader th
{
@@ -190,11 +200,21 @@
    max-height: 480px;
}

ol
ol,th,td
{
    font-size: 12px;
}

.table-contents
{
 border-top: thin solid #ccc;
 border-bottom: thin solid #ccc;
}

.table-contents thead {
 text-align: left;
}

/*
 * Man pages
 */