Commits

Show all
Author Commit Message Labels Comments Date
Vlad Riscutia
Merge default to release branch
Branches
release
Vlad Riscutia
Fix quotes
Vlad Riscutia
1.1 release notes
Vlad Riscutia
Replace minimal theme with minimal5
Vlad Riscutia
Fix typo
Vlad Riscutia
More cleanup after shellsession extension
Vlad Riscutia
Couple of layout tweaks
Vlad Riscutia
Add reminder that contrib pulls should also update CONTRIBUTORS list
Vlad Riscutia
Cleanup shellsession docs as it got pulled into Pygments. Update extension docs with latest from contrib
Vlad Riscutia
Better fix for sidebar issue when zooming
Vlad Riscutia
Keep imports in alphabetical order
Vlad Riscutia
Fix for #67
Vlad Riscutia
Tweak big screen sidebar CSS
Vlad Riscutia
Custom translators don't really work in Sphinx so instead of using HTML5Translator, just monkey-patch the Sphinx translator
Christian Jann
Merge
Vlad Riscutia
Change custom aggregated event to a more generic collected event fired for all Tinkerer extra pages
Christian Jann
Tweaked the dark theme a bit and improved its printing style (@media print)
Christian Jann
Added patch.strip_xml_declaration() again
Christian Jann
Whitespace cleanup
Christian Jann
Fixed last merge
Christian Jann
Merged html-aggregated-context
Vlad Riscutia
Add html-aggregated-context event and hook up patching through that
Christian Jann
Not longer necessary
Christian Jann
Replaced minidom with ElementTree because repr(node) in minidom allways returns
Christian Jann
Emit 'patch-node' signal
Christian Jann
The themes responsive and dark will work now with 3 or 4 navigation elements
Christian Jann
Better selection colour for code snippets on dark background
Christian Jann
In HTML5 the a element has no name attribute,
Christian Jann
Make it possible to hook into patch_node.
Christian Jann
There was a -1 missing
  1. Prev
  2. Next