[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
Re: [tor-bugs] #21376 [Metrics]: add javadoc metrics style
#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
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs