diff --git a/presto-docs/src/main/sphinx/_templates/layout.html b/presto-docs/src/main/sphinx/_templates/layout.html new file mode 100644 index 000000000000..68eb3bb0e84d --- /dev/null +++ b/presto-docs/src/main/sphinx/_templates/layout.html @@ -0,0 +1,8 @@ +{# Import the theme's layout. #} +{% extends '!layout.html' %} + +{%- block fonticon %} + {# add Font Awesome here #} + +{{ super() }} +{%- endblock %} \ No newline at end of file diff --git a/presto-docs/src/main/sphinx/_templates/localtoc.html b/presto-docs/src/main/sphinx/_templates/localtoc.html new file mode 100644 index 000000000000..6f56e497d990 --- /dev/null +++ b/presto-docs/src/main/sphinx/_templates/localtoc.html @@ -0,0 +1,50 @@ +{# there is no extension block in localtoc.html. copy the original localtoc.html #} +{% set toc_nodes = derender_toc(toc, True, pagename) if display_toc else [] %} + \ No newline at end of file