[isabelle-dev] Webview for AFP repository?

[Lawrence Paulson]

Stylesheets are about style, but the page also seems to have missing elements. Is there a default stylesheet that we could take as a starting point?
Larry

On 21 Apr 2013, at 01:13, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:

> Hi all,
> 
> what appears to me as the official webview for the AFP repository
> (http://hg.code.sf.net/p/afp/code) appears very poor in style, due to a
> missing stylesheet (hg.code.sf.net/p/afp/code/static/style-paper.css), I
> guess.
> 
> Is there any chance to do sth. concerning that?
> 
> Thanks a lot,
> 	Florian
> 
> -- 
> 
> PGP available:
> http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev