Skip to content

make expanded scroll bar a bit wider #243

make expanded scroll bar a bit wider

make expanded scroll bar a bit wider #243