Merge remote-tracking branch 'origin/theming' into dashboard_theme_merge

django/website/dashboard/templates/dashboard/dashboard.html

django/website/hid/tables.py

django/website/hid/templates/hid/sources.html

django/website/hid/templates/hid/upload.html

django/website/hid/templates/hid/view.html

...te/media/bootstrap/fonts/glyphicons-halflings-regular.eot

...te/media/bootstrap/fonts/glyphicons-halflings-regular.svg

...te/media/bootstrap/fonts/glyphicons-halflings-regular.ttf

...e/media/bootstrap/fonts/glyphicons-halflings-regular.woff

.../media/bootstrap/fonts/glyphicons-halflings-regular.woff2

django/website/media/bootstrap/js/bootstrap.min.js

django/website/media/bootstrap/less/alerts.less

django/website/media/bootstrap/less/badges.less

django/website/media/bootstrap/less/bootstrap.less

django/website/media/bootstrap/less/breadcrumbs.less

django/website/media/bootstrap/less/button-groups.less

django/website/media/bootstrap/less/buttons.less

django/website/media/bootstrap/less/carousel.less

django/website/media/bootstrap/less/close.less

django/website/media/bootstrap/less/code.less