mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6e38a25b | patch | commit | ignore whitespace
Mark Craig
05.12.2011 8b4e6578f46aea784cb774f56be858a2442485cd 
When I grow up, I'm going to learn how to do relative font sizes properly in CSS.
1 files modified
5 ■■■■■ changed files
opendj3/src/main/resources/css/coredoc.css 5 ●●●●● patch | view | raw | blame | history 
 opendj3/src/main/resources/css/coredoc.css


@@ -190,6 +190,11 @@


    max-height: 480px;


}




ol


{


    font-size: 12px;


}




/*


 * Man pages


 */