[metrics-bugs] #21376 [Metrics]: add javadoc metrics style

[Tor Bug Tracker & Wiki]

#21376: add javadoc metrics style
-------------------------+--------------------------------
 Reporter:  iwakeh       |          Owner:  metrics-team
     Type:  enhancement  |         Status:  needs_revision
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+--------------------------------
Changes (by karsten):

 * cc: RaBe (added)
 * status:  needs_review => needs_revision


Comment:

 I didn't try this out yet, but quick question before I do: Could it be
 that the line `@import url('resources/fonts/dejavu.css');` refers to a
 file that does not exist?  At least my browser complains about that file
 being missing on RaBe's server, that is, only in the web console.  Do we
 need that file?  And if it's not available, can we even use the DejaVu
 Sans font a few lines later?

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/21376#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online