Amar Singh
+1 >Have an option to make GAVPI itself voice controllable. sounds interesting >Unsure of how well, if at all, this would work. Why not?
>Does your style have the same purpose now as the existing file? Yeah. I think this one is much better. [mouse away from sidebar][1] | [mouse hover][2] [1]: https://gateway.ipfs.io/ipfs/QmausHEDCswCL5tmyZHtV2FXE7BYEqgKrPUZ1428Bb8tRC [2]:...
wait, this one doesn't work for sidebar on the right side. EDIT: It does!
Hi, I would like to get this merged :)
That's how it should look, you can tweak the `--thin-tab-width: 35px;` if you want deeper trees to be visible. I have it at 35px for 1920x1080 screen.
try adding `#sidebar { margin-left: -12 px !important }`. I personally like the icons to be hidden partially or fully for less visual clutter. :-)
I am on GNU/Linux. I've tried it on windows once, looked the same. Maybe because I was trying out other things at that time. This is how it looks without...
that is a problem, thanks for pointing it out. try adding `#sidebar-box { margin-left:-12px!important; }`. And **remove** `#sidebar { margin-left:-12px!important; }` :-)
if it works, you can add it unconditionally :)
I think these sorts of changes belong in Tree style tabs's css or any other sidebar's settings. userChrome.css tweaks will also affect history and bookmarks sidebar. `margin-left` was already a...