mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6e38a2 | patch | commitdiff
Mark Craig
05.12.2011 8b4e6578f46aea784cb774f56be858a2442485cd
refs
author Mark Craig <mark.craig@forgerock.com>
Monday, December 5, 2011 13:12 +0100
committer Mark Craig <mark.craig@forgerock.com>
Monday, December 5, 2011 13:12 +0100
commit8b4e6578f46aea784cb774f56be858a2442485cd
tree f5856766c3726a22eb096f731514c16cc7aaf8e9 tree | zip | gz
parent 6e38a25bcc15a6127574925d6675a17d9f24d0b4 view | diff 
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 ●●●●● diff | view | raw | blame | history