<div dir="ltr"><div>@Christian<br></div><div>I just introduced a config variable "remove_scratch" that does the job.<br></div><div>See <a href="https://gitlab.dune-project.org/infrastructure/dune-website-builder/commit/6731980d1ffc3cf83ad47744762e8cf89a42a60d">https://gitlab.dune-project.org/infrastructure/dune-website-builder/commit/6731980d1ffc3cf83ad47744762e8cf89a42a60d</a><br><br></div><div>Dominic<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 31, 2016 at 12:14 PM, Christoph Grüninger <span dir="ltr"><<a href="mailto:christoph.grueninger@iws.uni-stuttgart.de" target="_blank">christoph.grueninger@iws.uni-stuttgart.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Dominic,<br>
<span class=""><br>
Am 30.05.2016 um 16:49 schrieb Dominic Kempf:<br>
> The documentation is rebuilt nightly together with the doxygen docs.<br>
> Note, that I fell back to using iframes instead of doing the painful<br>
> thing of mixing css styles again. To be honest, I think this could be<br>
> the way to go for doxygen, too. It definitely is for the user wiki.<br>
<br>
</span>A namespace for CSS would be nice, but is not available in CSS but only<br>
with more complicated frameworks like LESS or SASS.<br>
What about adding "hugo_" for all CSS properties created from Hugo? That<br>
would prevent name clashes for Doxygen, Sphinx and the User wiki. I<br>
don#t know how much work this would be, though.<br>
<div class="HOEnZb"><div class="h5"><br>
Bye<br>
Christoph<br>
<br>
--<br>
The method has been developed for use on a high-speed electronic<br>
computer and would be impractical for hand-solution purposes.<br>
                                           [Harlow & Welch 1965]<br>
<br>
</div></div></blockquote></div><br></div>