* master:
remove jumping on edit hover with h1
SPR-815 remove unused roboto font
SPR-800 remove unused function file
use simpler striped pattern for section highlight
activate deployment
Add fabfile.py
* sidebar:
fix problems with ini handling in svg dispatch
added profile link to usertools in sidebar
finally align the menu items correctly
some more list adjustments for sidebar
add level1 class to fake inpage lists
adjusted language
some style adjustments for the sidebar
complete refactor of the sidebar behaviour javascript RES-754
style the fake icon
use jQuery slector to define the elements
directly embed SVGs for better styling
very simple styling of the new sidebar behaviour.
New sidebar JavaScript logic
allow style.ini replacements in SVG dispatcher
SVG Dispatch: allow for referencing material design icons
add caching and fix <g> wrapping
fixed content type header
fixed auth check
feat: add background-colors to SVG-dispatcher
first go at a dispatcher to dynamically recolor SVGs
There is no need to differentiate between site tools and the navigation
anymore. Instead now it's differentiated between the navigation tools
and the displayed content.
Now all toggling of the sidebar and the related menus is done through
the same click handler. HTML has been unified. All sidebar related
content is now in a single include file instead of several. Icons for
the site tools user tools and trace have been added.
The CSS for the whole sidebar still has to be refactored.
* master:
show license not copyright SPR-794
use proper translation mechanism for JS SPR-798
added type ints for other plugins
SPR-797 fix ID uniqueness
Now the SVGs are loaded via AJAX and are directly embedded into the
HTML. This allows for styling them via CSS and we can apply proper hover
styles.
The svg dispatcher was extended with an embed option (boolean parameter
'e') which will return an absolute minimum svg with absolutely no
styles.
I had a really hard time to understand the existing CSS which seemed
much too complicated for what it does.
Variable use was suboptimal. I couldn't figure out which variable
defines the proper size for the icon and the resulting margin.
# Please enter a commit message to explain why this merge is necessary,
# especially if it merges an updated upstream into a topic branch.
#
# Lines starting with '#' will be ignored, and an empty message aborts
# the commit.
