On Fri, 18 Dec 2015, Ian Jackson wrote: > > That said I'm not opposed to try to do something more dense but the layout > > is handled via bootstrap and reducing the spacing in a consistent manner > > probably requires to rebuild bootstrap with different settings in terms > > of spacing. > > I have to confess that I have no idea what `bootstrap' is.
http://v4-alpha.getbootstrap.com/ https://github.com/twbs/bootstrap/tree/v4-dev I use v4 alpha2 currently. I have no experience rebuilding bootstrap currently but there are some docs: http://v4-alpha.getbootstrap.com/getting-started/build-tools/ > I'm not scared of unfamiliar code but it would probably save me a lot > of effort if you could sketch out for me how I would go about getting > the source code for bootstrap and trying out a modified version of > either that or with of > https://anonscm.debian.org/cgit/qa/distro-tracker.git. Once rebuilt you just have to put the .css file in distro_tracker/html/static/css/bootstrap.min.css and you should be able to try it out rather quickly with a local instance. See https://tracker.debian.org/docs/contributing.html for details. > Is the bootstrap you are referring to `libjs-twitter-bootstrap' ? Yes. Except that the Debian package is outdated and not maintained. But before spending lots of time with bootstrap, have a try by tweaking distro_tracker/core/static/css/style.css and adding CSS for the list-group and list-group-item classes to reduce the vertical padding and margin... maybe that will be enough to please you. Cheers, -- Raphaël Hertzog ◈ Debian Developer Support Debian LTS: http://www.freexian.com/services/debian-lts.html Learn to master Debian: http://debian-handbook.info/get/
