mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
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; }