Repair layout problem created with r7558

Mark Craig

28.45.2011 9dbdf34f2b2666a0f8de76d76a5b8dc4a48fef6e

Repair layout problem created with r7558

 opendj-sdk/opendj3/src/main/resources/css/coredoc.css

@@ -169,6 +169,10 @@
    background-color: #fafafa;
    border: thin dashed #ccc;
    padding: 6px;
}

pre.screen,pre.flat
{
    text-indent: -18px;
}