From 53efda71cf5980b648d9625c244c528e5acc7530 Mon Sep 17 00:00:00 2001
From: aquint-zama <alexandre.quint@zama.ai>
Date: Mon, 11 Oct 2021 16:16:20 +0200
Subject: [PATCH] chore: update doc theme to v0.4.1

---
 docs/_static/css/zama.css                 |  31 ++++++++++++++---
 docs/_static/favicon.ico                  | Bin 0 -> 33310 bytes
 docs/{logo-black.png => _static/logo.png} | Bin
 docs/_templates/layout.html               |  40 ++++++++++++----------
 docs/conf.py                              |  10 ++++--
 5 files changed, 56 insertions(+), 25 deletions(-)
 create mode 100644 docs/_static/favicon.ico
 rename docs/{logo-black.png => _static/logo.png} (100%)

diff --git a/docs/_static/css/zama.css b/docs/_static/css/zama.css
index bd74c1373..a80d41c2b 100644
--- a/docs/_static/css/zama.css
+++ b/docs/_static/css/zama.css
@@ -11,8 +11,8 @@
     --secondary-color-light: #fff0d9;
     --tertiary-color: #414042;
     --tertiary-color-light: #e6e7e8;
-    --link-color: var(--primary-color-darker);
-    --primary-font: Telegraf, sans-serif;
+    --link-color: black;
+    --primary-font: Archivo, sans-serif;
 }
 
 .zama-header {
@@ -21,7 +21,6 @@
     right: 0;
     z-index: 201;
     height: 43px;
-    max-width: 1100px;
     background: black;
     color: white;
     display: flex;
@@ -54,6 +53,11 @@ body {
     font-family: var(--primary-font);
 }
 
+/* Change code blocks font size slightly (normally 12px)*/
+.rst-content pre.literal-block, .rst-content div[class^="highlight"] pre, .rst-content .linenodiv pre {
+	font-size: 13px !important;
+}
+
 .rst-content .toctree-wrapper>p.caption, h1, h2, h3, h4, h5, h6, legend {
     font-family: var(--primary-font);
 }
@@ -120,6 +124,10 @@ input[type=color], input[type=date], input[type=datetime-local], input[type=date
 
 .wy-nav-content a {
     color: var(--link-color);
+    text-decoration: underline;
+}
+
+.rst-footer-buttons a {
     text-decoration: none;
 }
 
@@ -127,7 +135,7 @@ input[type=color], input[type=date], input[type=datetime-local], input[type=date
 .wy-nav-content a:focus,
 .wy-nav-content a:active {
     color: var(--link-color);
-    text-decoration: underline;
+    text-decoration: none;
 }
 
 .wy-nav-content a.btn:hover,
@@ -137,6 +145,19 @@ input[type=color], input[type=date], input[type=datetime-local], input[type=date
     text-decoration: none;
 }
 
+.wy-nav-content {
+    max-width: none;
+    background-color: white;
+}
+
+.rst-content {
+    max-width: 800px;
+    display: block;
+    margin-left: auto;
+    margin-right: auto;
+}
+
+
 .wy-nav-top {
     color: #696969;
     background: #343131
@@ -191,6 +212,8 @@ dl.class > dt:first-of-type {
     display: block !important;
 }
 
+
+
  /*
   * Admonitions
   */
diff --git a/docs/_static/favicon.ico b/docs/_static/favicon.ico
new file mode 100644
index 0000000000000000000000000000000000000000..fb2fa5a1562916b4a49f74913fbcca2abd43e652
GIT binary patch
literal 33310
zcmeHQ3)EFb72YGDfuc}qQV3)On1;V5T7vSU<%6I|9xAT@5m3WSP*I*j8a`9NL|j5*
zD2N7%5P~2eAff_R%a*<DsXgprmfCaoeS7XX_uO;u{eLK3f3o&nYt}hu9((VZ`OeIl
znZ5TF3DQJbv=Cg|NvFml14QJo!wSz$MW!IGUAw|F^4-^5q^73u++JkI;UcxQg=bvf
z=poVxG>{b(V>~V*pp*ZF=T$v4a2q`SvW9tUV_5M64cp(;@bq6btoen8b+2f6@H_GT
zv7c*r?(Z6&`m=^7epBqXbuX(7xKP8Lpz+XmRnEOwrT-WWOP|+p=}eUqPt!1AwuT3G
zsto?J%Go0|to>!N{8rFg@k5o-lQlf~2Mrg`!2J{r+g?}c(nG`D8&u9XC+1Jmvbf30
zPx)58q+#WcHSGAOhHq}uu<PF%7H*B@SN#O(2-)&}-(c;*aRNh)U^uby$HoVYIr*RW
zR|Ag`{*E-*JF-_{|B72x+8=FmfXxG#Tcp>Jv~A_gb2V)Et<3>p>Rl?I9j0OaMh&+;
zjJWBTi!i4Ui?=+a;j4?%a%mfJte-F|&OclJWa-jp1m=$cDxdDB(r=W_F*59OmCp=P
z={;1#t;;psutdX>9V#6<N7>qZM8l?6%jqZY!SWYWKGj#l`d@3fYrTfC*Q%U<m4*eI
zB7N|Yz87e??p~Gi#zy)mD_zgDxl~T?Uzzp|izENODBowe2F`7}{smbFoBTGHZT_Rm
zF`tCo%QS3!Rpr>Ov3)4p)wjp_b@qzN^b`60>h0qgc-LTn-%0HdY7w|jvmX~&xnDXC
zdf&cl`qul*zik}@j)A=n15@UyjF?ao!neMsVd5Qek0zO;mVaNvw7apd^ty&?aAo|J
zw_!hN4fb&UVc)bCH}0m=eW%6GX}JFW>f=0UN%IyOzBog}9jjw_0^jR+w!J2NJKOg&
z_N2o2o9$a(PC6rgzqe|ma>A(^o_R~<V<#F98T2I$Sii80mE+psEB93A&w6m3&>7$A
z7h&zfx-f3_PgNQ<vb`-i?qu9Ij{9s_OBnx|i)<|+osPBmguks%8aJ{1H0k^am1YOT
zHcQ&E+7)|ZGHMdm3Ek56vpu=Ox=Om873C`Mw>22{%h-2e`uw#1lwCU3sP!TGOL`aA
zZC0;5|3%wlo6mjB`cklW7nbgdyslk{^%2%Mrw=IhA^Bs!PugPbwG(@H_iR=<wNDBE
zF#Z;mkyppQ;eKPDXZE=g{x<zSmf7|f>`h)D`-OX*EJyrN#-vZVe|X7tMf@=j*QS?4
zh6|@f8MFNSzV80;_VM;{3^)cH1Me6HxKF^dlwk<zJ^{{X^S?UhP4Ay~tbe@S@eSqp
z@-}b`I0hU8jseGjW56-s7;p?Y1{x9r&~ufej;|WR^aUEe{gS1J+gFwM)y(@;jy@so
z4?}O3v`m*3b)x={J##;tb;Q{Q^^ffS-lt+3bdSo`McnH?zPpBJ|5l!sZ!74~%28bu
z>wM@K;SA%dIi=zLXH5@QIvitqPkCNEci>rs#jpI4(J>ug?2Sv){bLw@g{7PB)M;nO
zypT=ad#LTnm(YYBmK^cXio8nlW$Qs&qb92~**EG=Q7<@~&U>8G$N>kceE$4mpnliB
z`)QauuUvlUK}pkQDi=&t`OuN&@`EPNb>xr_6zP$6FX&r^fb$ESUF2n`@0n*O&>xdF
z?Qw>&rL;VCrCGm@=m+RQTWH%sWxu8xpx0%*GVM<tGU?Vc>Q#q*G(7U6VMmhorz|)J
zqpVWXwMdioIrM|j*Djnn)hBa49cLlZf3ynEn?_Cq2H#5SA>DgN{WF%KZd&UP7xl9l
zm&nh$LXI%;>sD4;AE5zfcqRBT8o&zMBhm3D=Js!1d`I%K?a4Fy|KL_QV_KZbA8vk7
zWgoO9bk4)VEfMQ;9xbLP^3Ot9w)yIxMfnF_qVn-m%H^j##3kO7K%GOJNg8&j|GvAj
z66<_tp}%MCH3?^=ljdree5VR@3&VmZi?nzqdC>cCRyAGaoQq=pvSUO+e!~vW>k=8}
zu8I8#oyrpYFn#?imKJ7wL*<lSYG;p0x!t+eH-0XAp(qFG;XG8%IuF>!*(1-`vOEgo
zCvj%ytx4K5Z$^w0f64fnq~S^%1j8)egK*9KQkt23CA>V|+sQHD7;p?Y1{?#90mp!2
zz%k$$a11yG_F@cBPpB4Q8bYck#E9I_*UH$d*o$%Cb@Tpp3^)cH1C9a5fMdWh;23ZW
zI0hU8jseGjW56-s7;p?Y1{?#90mp!2AjJT5F->2YI?Hv1#J39ltuP<`GgmuLfnKZS
zNy^X%49hS+DU<Ns`dTrLK0ldn`y0hLrZbK-lCt?L`Q+*6^Hh7L{wj6t>kIS|1RCZC
z33<)GOck1@yUIM!`!|`PKTP`Oo2XERzEX|ndzwYr8NcPV7&mZiT36}uxmfn5rD<Hg
z9R#)oM!%9hLlqfQ8t|8DdhDz}b<L?8P2b+Rkost)A0+CiA9-A5dFZ3){jH-O|Jq+w
zu0Qj%JQ%v$jS6*pAm*!3|M0bCu}yjotjv$ThN#<49r>*8bba;Crc=+Ky8CPc>gYdS
zkUN_vy@!rFeKtXM^AY>-iyE>4{%noT$)J;z$@f3}HCZ0oCqREa^_yF%{<NiNd5Fq^
zEzJj22`}=!?8ZoI=w(HI3Ew@rnw`LyC=dE3+_)tATdza|I_)Mu+p9_l@PAva{sLK9
zF2I(BIAZ;*?<&<F{LQYT3LoQ7`wsY|Px)1nd3WPxKWcjThH<|099QyXH~uc#q7Vc0
zbx*x_1Q~Q`Y!CV>+lDbIDVObk+F7*gr~<!a^dm<9W!4t+H&lH8jRxC^?;J5e8-j#i
zPxw7%yU;cObW?r_-~aXs-&p2jnY3HAg<s@#WwdGIVRF;wa>9o`p;?Ci3y{R|nyo+l
z#?cl-`i+ix7Cjy7M*LRkf3r<N9nIDwV}HQ^CNLSs!RK3+-`jD|xd^sm()^(4*Ddd#
zZqCYB*Tnxb?WEve&g7v#wyX@<`tyGj&_-d_BQXy#fU%31Al9t?GUI<r2X(Y^{67WK
zrtJvF1&n<q|G|*u`*z&ZR<28}{r^KM3+ZwUr`)ua;eS2A_n-Ca;jopWzqKsyO#P+i
zq*#XE5rsTvJH<Ak4IS}Qss710Px|Z|_z}0fU14{U<+Z2x@FysP@!k%>oHqpH($H}#
zUl<>4gJ35oBd)Y(`%jD<ZL@!(-1MzCW@?m&<3TQ8f`1tfTJ#qPyPT3d@c(Ufp+CH8
z^#@Jq4tpNKSjYK_e$dGq_KGF6^1SPN-p%iy0Gp#SKJ@v{`HQ~(XeUQoEZDV`<ty~R
z`HQE_u!SnggKs>uO{72hI_husUQEZg0DUIfct~G=_0_Si^yE8~<9uDAqWv9kNINkG
zmM!?HFOw(v{@q;2m-vs&%4OfVh4k$AZ#K_PjPVH{UMtyEX7l^~|Aq~3KW{(BfMdWh
s;23ZWI0hU8jseGjW56-s7;p?Y1{?#90mp!2z%k$$a11yG{*N*6A11uKV*mgE

literal 0
HcmV?d00001

diff --git a/docs/logo-black.png b/docs/_static/logo.png
similarity index 100%
rename from docs/logo-black.png
rename to docs/_static/logo.png
diff --git a/docs/_templates/layout.html b/docs/_templates/layout.html
index 5883f91f4..8c127267f 100644
--- a/docs/_templates/layout.html
+++ b/docs/_templates/layout.html
@@ -16,6 +16,24 @@
 <!DOCTYPE html>
 <html class="{{ sphinx_writer }}" lang="{{ lang_attr }}" >
 <head>
+  <!-- theme v0.4.1 -->
+  {#- Do not conflict with RTD insertion of analytics script #}
+  {%- if not READTHEDOCS %}
+    {%- if theme_analytics_id %}
+    <!-- Theme Analytics -->
+    <script async src="https://www.googletagmanager.com/gtag/js?id={{ theme_analytics_id }}"></script>
+    <script>
+      window.dataLayer = window.dataLayer || [];
+      function gtag(){dataLayer.push(arguments);}
+      gtag('js', new Date());
+
+      gtag('config', '{{ theme_analytics_id }}', {
+          'anonymize_ip': 'true',
+      });
+    </script>
+    {%- endif %}
+  {%- endif %}
+
   <meta charset="utf-8" />
   {{- metatags }}
   <meta name="viewport" content="width=device-width, initial-scale=1.0" />
@@ -125,7 +143,9 @@
 
 <body class="wy-body-for-nav">
   <div class="zama-header">
-    <a href="https://docs.zama.ai/concrete/">Docs home</a>
+    {%- if show_docs_home_link %}
+	  <a href="https://docs.zama.ai/concrete/">Docs home</a>
+    {%- endif %}
     <a href="https://zama.ai">Visit Zama</a>
   </div>
   {%- block extrabody %} {% endblock %}
@@ -236,24 +256,6 @@
       });
   </script>
 
-  {#- Do not conflict with RTD insertion of analytics script #}
-  {%- if not READTHEDOCS %}
-    {%- if theme_analytics_id %}
-    <!-- Theme Analytics -->
-    <script async src="https://www.googletagmanager.com/gtag/js?id={{ theme_analytics_id }}"></script>
-    <script>
-      window.dataLayer = window.dataLayer || [];
-      function gtag(){dataLayer.push(arguments);}
-      gtag('js', new Date());
-
-      gtag('config', '{{ theme_analytics_id }}', {
-          'anonymize_ip': {{ 'true' if theme_analytics_anonymize_ip|tobool else 'false' }},
-      });
-    </script>
-
-    {%- endif %}
-  {%- endif %}
-
   {%- block footer %} {% endblock %}
 
 </body>
diff --git a/docs/conf.py b/docs/conf.py
index 158558e83..8bc6aa66a 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -66,14 +66,20 @@ nbsphinx_codecell_lexer = 'ipython3'
 #
 html_theme = "sphinx_rtd_theme"
 html_style = "css/zama.css"
-html_logo = "logo-black.png"
+html_logo = "_static/logo.png"
+html_favicon = "_static/favicon.ico"
 html_theme_options = {
     "logo_only": False,
+    "analytics_id": "G-XRM93J9QBW",
+    "collapse_navigation": True,
 }
+pygments_style = "zenburn"
 html_last_updated_fmt = None # '%b %d, %Y'
 html_show_copyright = True
 html_show_sphinx = False
-pygments_style = "zenburn"
+html_context = {
+    "show_docs_home_link": True, # Show/hide docs link in top menu
+}
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,