mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
28.45.2011 2672cfd682edb8111eeb67358e9b8e9fec636e55
Repair layout problem created with r7558
1 files modified
4 ■■■■ changed files
opendj3/src/main/resources/css/coredoc.css 4 ●●●● patch | view | raw | blame | history
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;
}