aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-10-26 15:52:39 -0700
committerGravatar Benjamin Jones <bjones@galois.com>2012-10-26 15:52:39 -0700
commit2ac4371f5d2fd20e98e0a439e2921dbfdc4f8eb9 (patch)
tree4a20f01cc8ab3c4a9d276c0b2a8e6ebad13d2d30 /doc
parent4710b24e7a47a7e19239e1b0ada9ca0b4092ae54 (diff)
allow firefox to report font-weight as 400=normal, 700=bold
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions