Stream: t-compiler/wg-self-profile

Topic: styling the totals


simulacrum (Oct 23 2019 at 14:38, on Zulip):

@mw what do you think of bolding? https://perf.rust-lang.org/detailed-query.html?commit=4ff32c07da9d97e6dc315a4a5c9ffbb797cb27bb&base_commit=ef906d0e3c50ba0833c5a135d705ab4f6bd93aea&benchmark=syn-opt&run_name=clean has it right now as bolded

mw (Oct 23 2019 at 14:42, on Zulip):

bolding is good

mw (Oct 23 2019 at 14:42, on Zulip):

bolding and italic is a bit too much :)

mw (Oct 23 2019 at 14:45, on Zulip):

the current version looks nice with the gray background

mw (Oct 23 2019 at 14:46, on Zulip):

the border at the bottom is good too

mw (Oct 23 2019 at 14:46, on Zulip):

but I'd also add a border at the top, I think

simulacrum (Oct 23 2019 at 14:47, on Zulip):

@mw @Wesley Wiser okay, border top/bottom and just bold no italic

mw (Oct 23 2019 at 14:48, on Zulip):

yes, that looks good to me

simulacrum (Oct 23 2019 at 14:48, on Zulip):

okay, I'll officialize that style then

mw (Oct 23 2019 at 14:48, on Zulip):

thanks @simulacrum !

Last update: Nov 15 2019 at 21:05UTC