Robert

Results 141 comments of Robert

Or how about we set the colors via CSS, and provide an accessible alternative stylesheet (not sure how good browser support is in general for choosing alternate stylesheets, though). I...

Another tool to look at for comparison is the player at kwontomloop.com. It does a number of things a bit differently (black for the loop, doesn't entirely fill the the...

@boboquack This actually works for me, tested with a five cells puzzle where it changed the clue font. This is with Chrome?

strange, it works with all my browsers on macos, both on pzv.jp and on puzz.link... looking at the code, another question: what OS are you on? there's some special code...

That's strange, "serif" should choose any serif font, and I'm sure Times New Roman is available. Perhaps you changed the default serif font to a sans-serif font in Chrome preferences?...

You could try digging down into the svg in the inspector (or maybe your browser is not even using svg, which might explain things?). For me, the font family appears...

@x-sheep thanks, that's useful For me, it works as "expected" with Chromium 73.0.3675.0 macOS 10.14.6 Still works with Chromium 81.0.4000.0

I found this strange fragment: ``` if(pzpr.env.OS.Android){ ui.misc.modifyCSS({'body, .btn':{fontFamily:'Verdana, Arial, sans-serif'}}); } ``` But that shouldn't affect this, since the trouble is with Windows...

I find this issue to be very confusing, @gromakovsky could you clarify? Is this about: 1. I'm writing a Haskell program. How do I make it shut down cleanly, including...

Yeah I don't think we should go for darker shading. I was hoping (one of) the shades could be tweaked to something that's more apparently different from the other, without...