less: set navbar background and dropdown menu text color with Bootstrap variables

For the quick_login dropdown set color to @kallithea-theme-inverse-color for
all text.

less: move non contextbar specific style to kallithea.less

Also this is only relevant for icon-empty and icon-gravatar.

less: remove unused invalid contextbar style

AFAIK :after without content is useless.

less: navbar elements should not be hidden

navbar elements should not overflow, but if they do, hidding them is not helpful.

less: remove borders and padding around navbar items

Navbar items were styled with borders to look like embossed areas that could be
clicked. The top menu also had it in the drop-down menu, while the context menu
didn't.

The areas are big, and it is quite clear it is some kind of clickable menu ...
and the clickable area is also highlighted when hovering. We can thus do
without the borders and get a slightly cleaner look.

diff: use fontello icon-diff-* names in generated html

This way we need less style code ... but generate slightly bigger html.

Also move the style code to kallithea-diff.less and remove the now obsolete
comment.

gravatar: use icon-gravatar for default gravatar sizing and styling instead of icon-empty

We may want to use a different style for gravatar then for icon-empty,
so we should give it its own class, but still consider it an icon, like the
default icon-user is.

style: change indentation of stylesheet to match future less output

Align the indentation of the stylesheet with the indentation that a
less-compiled version of this stylesheet would use. This will allow easy
comparison of the original and less-generated stylesheet in future commits.

style: remove empty lines in stylesheet to match future less output

Align the formatting of the stylesheet with the formatting that a less-compiled
version of this stylesheet would use. This will allow easy comparison of the
original and less-generated stylesheet in future commits.

gravatar: use background-image style instead of img element for gravatar

When having several 1000 users, chrome will fail to load all the gravatar img
elements on the _admin/users page (ERR_INSUFFICIENT_RESOURCES).

If instead we use a background-image style, chrome will only load the images of
the elements that are actually displayed.

contextbar: fix navbar markup

This makes the contextbar markup more consistent with the Bootstrap
documentation at https://getbootstrap.com/docs/3.3/components/#navbar and with
the markup of the main navbar.

This fixes a minor UI issue on small devices where the navbar-collapse border
would show up as a too wide and too low black line.

style: use plain Bootstrap with existing CSS styling

This is an intermediate step, trying to make our markup stay as close to plain
Bootstrap as possible, minimize the amount of customizations, and accept small
visual differences.

More long term, we will try to move to generated CSS with Bootstrap and our
customizations.

template: use Bootstrap compatible navbar markup

Based on work from Andrew Shadura <andrew@shadura.me>.

Further modified by Mads Kiilerich.

style: introduce h2 h3 h4 h5 for emphasis and drop some explicit styling

Based on work by Dominik Ruf.

templates: switch dropdowns from mouse over to on-click

Mouse over doesn't work on mobile devices and is bad for users
with reduced abilities.

style: make markup more Bootstrap-compatible

Use Bootstrap classes for dropdowns.
Use explicit Bootstrap-style carets instead of :after preudoclass.
Use Bootstrap class for badges.
Introduce Bootstrap data-toggle properties - currently unused.

menu: Added select2 box for "Switch To", work towards having general revision context

Major changes by Takumi IINO <trot.thunder@gmail.com>.

style: stop supporting internet explorer 6-8 gradients

This 'progid:' line was non-standard and is no longer needed for modern
browsers, including Internet Explorer > 9. Besides, all it did was add a
gradient, so not really that much of a loss for someone using an decrepit
browser.

giticon.png: use repotag class to make an icon

A quick search revealed that some old css code was never used, so it was
removed.

hgicon.png: use repotag class to make an icon

The inline 'style' attribute was modified to remove the color but nothing else,
as was discussed with other Kallithea devs, since it makes more sense to leave
the spacing until another pass of css refactoring.

A quick search revealed that some old css code was never used, so it was
removed.

text_align_left.png: replace icon-resize-vertical with icon-align-left

The color needed to be tweaked since the icon is text base.

application_form_edit.png: use new icon-pencil font

A quick search revealed that some old css code was never used, so it was
removed.

icon-remove: use new icon-minus-circled instead

To remove the css that set the background of the submit input (h.submit), the
element needed to be changed to <button>.

private_repo.png: use new icon-lock font

A quick search revealed that some old css code was never used, so it was
removed.

add.png: replace icon-plus-sign with icon-plus-circled

A quick search revealed that some old css code was never used, so it was
removed.

heart_delete.png: use new icon-heart font

A quick search revealed that some old css code was never used, so it was
removed.

tag_green.png: use new icon-bookmark font

A quick search revealed that some old css code was never used, so it was
removed.

lock_open.png: replace icon-unlock-* with icon-lock-open-alt

The inline 'style' override has been modified to only leave spacing and sizing
(removing color).

arrow_inout.png: replace icon-loop with icon-git-compare

A quick search revealed that some old css code was never used, so it was
removed.

rss_16.png: use new icon-rss-squared font

The old png icon had color for its background so the journal template needed to
set it to something so that it wasn't lost to transparency.

A quick search revealed that some old css code was never used, so it was
removed.

public_repo.png: remove unused icon

A quick search revealed that some old css code was never used, so it was
removed.

wrench.png: use new icon-wrench font

A quick search revealed that some old css code was never used, so it was
removed.

group_edit.png: replace icon-group with icon-users

A quick search revealed that some old css code was never used, so it was
removed.

database_link.png: replace icon-folder-close with icon-folder

A quick search revealed that some old css code was never used, so it was
removed.

server_key.png: use new icon-key font

A quick search revealed that some old css code was never used, so it was
removed.

user_edit.png: use new icon-user font

A quick search revealed that some old css code was never used, so it was
removed.

note_add.png: remove icon-file-alt override

We will now use the one from font awesome.

clipboard_16: replace icon-file-text with icon-doc-text-inv

We replace everywhere except for the gist icons since those will be done
differently.

arrow_branch.png: replace icon-code-fork with icon-git-pull-request

A quick search revealed that some old css code was never used, so it was
removed.

database_edit.png: use new icon-file-zip font

Previously, database_edit.png was used for icon-archive class so those have all
been renamed via a search-and-replace.

A quick search revealed that some old css code was never used, so it was
removed.

cog_edit.png: remove unused icon

A quick search revealed that some old css code was never used, so it was
removed.

cog.png: use new icon-gear font

A quick search revealed that some old css code was never used, so it was
removed.

search_16.png: use new icon-search font

A quick search revealed that some old css code was never used, so it was
removed.

book.png: use new icon-book font

A quick search revealed that some old css code was never used, so it was
removed.

contextbar: prepend width and height from icon css classes with 'min-'

This caused the new font icons to be pushed down too far.

Remove gradient code in CSS for selected context bar.

This prevents the background color for the selected tab from becoming
dark grey (instead of a lighter version of the context bar color). It
then makes the context bar and top title bar consistent with one another
in behavior.

Set white foreground color for <h2/> in context bar

$repo/fork and other pages had black text on dark background.

Second step in two-part process to rename directories.
This is the actual directory rename.