mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 9fbdb9 | patch | commitdiff
Mark Craig
17.43.2011 21a04d32998cd2e5354b6ad9e7a8f25611692693
refs
author Mark Craig <mark.craig@forgerock.com>
Saturday, September 17, 2011 09:43 +0200
committer Mark Craig <mark.craig@forgerock.com>
Saturday, September 17, 2011 09:43 +0200
commit21a04d32998cd2e5354b6ad9e7a8f25611692693
tree bd8664fd7d5b838292275eab447bef915138c33c tree | zip | gz
parent 9fbdb99863bd861a47cb2e132c95177977040f34 view | diff 
Render esp. table of contents in uniform size for HTML
1 files modified
3 ■■■■■ changed files
opendj-sdk/opendj3/src/main/resources/css/coredoc.css 3 ●●●●● diff | view | raw | blame | history