Changes between Initial Version and Version 5 of Ticket #13308

Timestamp:

Jun 4, 2020, 4:18:06 AM (4 years ago)

Author:

Jun Omae

Comment:

The issue exists in code.css, diff.css and trac.css files since Trac 1.4+. Also, font-family for sans serif has the same.

$ git grep 'font:\|font-family:' mirror/1.4-stable -- 'trac/**/*.css' | sed -e 's/:  */: /g' | sort -u
mirror/1.4-stable:trac/htdocs/css/admin.css:.trac-name { font-family: monospace; }
mirror/1.4-stable:trac/htdocs/css/browser.css: font-family: monospace;
mirror/1.4-stable:trac/htdocs/css/code.css: font-family: Open Sans Mono,Consolas,Lucida Console,monospace; /* code_monospace */
mirror/1.4-stable:trac/htdocs/css/diff.css: font-family: Open Sans Mono,Consolas,Lucida Console,monospace; /* code_monospace */
mirror/1.4-stable:trac/htdocs/css/jquery-ui/jquery-ui.css:      font-family: Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
mirror/1.4-stable:trac/htdocs/css/trac.css: font-family: Open Sans Mono,Consolas,Lucida Console,monospace; /* code_monospace */
mirror/1.4-stable:trac/htdocs/css/trac.css: font-family: Roboto,Segoe UI,Verdana,'Bitstream Vera Sans',Helvetica,sans-serif; /* trac_sans_serif */
mirror/1.4-stable:trac/htdocs/css/trac.css: font-family: inherit;
mirror/1.4-stable:trac/htdocs/css/trac.css: font-family: sans-serif;