mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 699270 | patch | commitdiff
Mark Craig
17.43.2011 79d77a626c95c14dd29b972d718925daebac4220
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
commit79d77a626c95c14dd29b972d718925daebac4220
tree 7b0ce901af036057c39cc09fd4ff2f09618e5067 tree | zip | gz
parent 6992706b3b92b889db4b3b603107a6ee9fd09f17 view | diff 
Render esp. table of contents in uniform size for HTML
1 files modified
3 ■■■■■ changed files
opendj3/src/main/resources/css/coredoc.css 3 ●●●●● diff | view | raw | blame | history