doc: Use theme and extensions from JuliaDoc

tknopp · May 27, 2013 · e8a223a · e8a223a
1 parent 4b05fd4
commit e8a223a
Show file tree

Hide file tree

Showing 12 changed files with 6 additions and 866 deletions.
diff --git a/doc/_themes/julia/layout.html b/doc/_themes/julia/layout.html
diff --git a/doc/_themes/julia/localtoc.html b/doc/_themes/julia/localtoc.html
diff --git a/doc/_themes/julia/searchbox.html b/doc/_themes/julia/searchbox.html