<div dir="ltr"><div><div><div><div>Yeah, we can ditch plotdictionary.html from svn<br><br></div>I have not used it in years.<br><br></div>I think the reason I kept it around was that back 10 years ago, plotdict.xml loaded excruciatingly slowly on my slow old computer in my clunky dinosaur version of Firefox.<br><br></div><div>I think that the plotdictionary.html is so unncesary that I could even remove it from the webserver, and replace it with a redirect to the xml<br></div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Jul 25, 2017 at 7:40 AM, Ralph Versteegen <span dir="ltr"><<a href="mailto:teeemcee@gmail.com" target="_blank">teeemcee@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Is there any good reason for plotdictionary.html to be checked into svn? Usually you should be able to view the xml file. If you can't do that, then you can either run update-html.sh, or view the html file uploaded nightly.<br></div>The html file causes a lot of spam in diffs, and huge diffs in cases like this where the .xsl file was changed.<br></div><div class="HOEnZb"><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On 26 July 2017 at 02:26,  <span dir="ltr"><<a href="mailto:subversion@hamsterrepublic.com" target="_blank">subversion@hamsterrepublic.<wbr>com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">teeemcee<br>
2017-07-25 07:26:05 -0700 (Tue, 25 Jul 2017)<br>
257<br>
plotdict: modify CSS to darken boxes with white background due to painful contrast, and other minor tweaks<br>
<br>
I don't think this looks good, it just hurts my eyes less.<br>
<br>
The <br clear="all"> in <note>s causes excess spacing if an <example> was put<br>
in a <note><br>
---<br>
U   wip/docs/htmlplot.xsl<br>
U   wip/docs/plotdictionary.html<br>
______________________________<wbr>_________________<br>
Ohrrpgce mailing list<br>
<a href="mailto:ohrrpgce@lists.motherhamster.org" target="_blank">ohrrpgce@lists.motherhamster.o<wbr>rg</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" rel="noreferrer" target="_blank">http://lists.motherhamster.org<wbr>/listinfo.cgi/ohrrpgce-motherh<wbr>amster.org</a><br>
</blockquote></div><br></div>
</div></div><br>______________________________<wbr>_________________<br>
Ohrrpgce mailing list<br>
<a href="mailto:ohrrpgce@lists.motherhamster.org">ohrrpgce@lists.motherhamster.<wbr>org</a><br>
<a href="http://lists.motherhamster.org/listinfo.cgi/ohrrpgce-motherhamster.org" rel="noreferrer" target="_blank">http://lists.motherhamster.<wbr>org/listinfo.cgi/ohrrpgce-<wbr>motherhamster.org</a><br>
<br></blockquote></div><br></div>