Shrikant Sudam Giri
055c422b34
Add copy button to code blocks in documentation ( #9830 )
...
* Add copy button to code blocks for improved documentation usability
* Add copy button to code blocks for improved documentation usability
* Add copy button to code blocks for improved documentation usability
* Make "Copy" button smaller
---------
Co-authored-by: Bruno Alla <alla.brunoo@gmail.com>
2025-12-15 16:01:37 +00:00
Ryan P Kilby
0cb2523927
Update docs search plugin ( #6810 )
2019-07-16 13:00:45 -07:00
Jon Dufresne
7eac86688a
Remove executable bit from static assets ( #6484 )
...
These files are simply static assets and do not require an executable
bit. They are never intended to be executed as standalone scripts.
2019-03-03 18:39:08 +00:00
José Padilla
ea1a8f4ac5
Fix weird search behavior. Closes #3197
2015-07-29 21:25:21 -04:00
Dougal Matthews
f5aa163aac
Added a missing semicolon
2015-05-31 18:30:30 +01:00
Dougal Matthews
8ace80c287
Only load the search results when the search form is submitted for the
...
first time
2015-05-31 18:30:29 +01:00
Dougal Matthews
dbc5c066c2
Add a theme.js file to enable highlighing
2014-12-10 11:34:26 +00:00
Dougal Matthews
9883862576
Move the static content into the docs theme
2014-12-10 11:34:26 +00:00
