<div dir="ltr"><div>Hi matteo,<br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Mar 18, 2019 at 8:37 AM matteo <<a href="mailto:matteo.ghetta@gmail.com">matteo.ghetta@gmail.com</a>> wrote:<br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>I don't have direct experience with that, but for other stuff I use you<br>
have a separate `custom` folder where you put custom css and js so that<br>
they will not be overwritten by a theme update<span class="gmail-im"><br></span></div></blockquote><div><br></div><div>I will have to study it, some of my colleagues have been doing that recently so I can pick their brains for a while. The important is not mess with the readthedocs theme directly, otherwise we will be stuff with this version again for a very long time... <br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
But yes, personally I'm in favor of splitting the docs (static vs<br>
dynamic) as we discussed. So you are suggesting to use git submodules?<br>
Do you have experience in maintaining them?<br>
<br></blockquote><div><br></div><div>Yes, and yes. That is what I have implemented at Boundless, because we use the same theme for many different projects. it's very easy to maintain. At least easier than trying to keep the theme in all projects looking the same without it.</div><div><br></div><div>Anyway, let's table that for later, when we have a "final" vanilla.</div><div><br></div><div>Alex<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Cheer and thanks<br>
<br>
Matteo<br>
</blockquote></div></div>