mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a55b50 | patch | commitdiff
Mark Craig
05.12.2011 8cf754b6661c2b189c51d201cff578569f8fb9b1
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
commit8cf754b6661c2b189c51d201cff578569f8fb9b1
tree 91ce4f627bbd1c90309e7f23f526a37081c97bc4 tree | zip | gz
parent a55b508ca426a022b538a7fd98898cd7ac8591cb 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
opendj-sdk/opendj3/src/main/resources/css/coredoc.css 5 ●●●●● diff | view | raw | blame | history