htmleditor.js updated
htmleditor.js cleanup
default tabsize updated
updated codemirrot colors
Merge branch 'master' of github.com:uikit/uikit
updated codemirror colors
updated codemirror colors
updated codemirror colors
improved shortcuts
Fixed sticky z-index in themes
Merge branch 'master' of github.com:uikit/uikit
Fixed wrong scaling calculation for images in Chrome
updated dists
initial pagination add-on commit
pagination add-on cleanup
some work on htmleditor.js
pagination add-on updated
pagination typo
pagination add-on cleanup
htmleditor.js update