it’s quite fragile, I just selected the bolding and coloring styles that prices use, and instead of trying to have single general styles the selectors narrowly pick hopefully-specific elements. If manifold had an option that was available without logging in, I’d use that, but I don’t have or want a manifold account. not sure if this is missing anything for logged in users, or if there’s a similar option for logged in users.
I wrote a userstyle to hide probabilities on manifold.markets, install with stylus. you can toggle it in the stylus menu.
it’s quite fragile, I just selected the bolding and coloring styles that prices use, and instead of trying to have single general styles the selectors narrowly pick hopefully-specific elements. If manifold had an option that was available without logging in, I’d use that, but I don’t have or want a manifold account. not sure if this is missing anything for logged in users, or if there’s a similar option for logged in users.