[Ur] serving css from urweb

Adam Chlipala adamc at impredicative.com
Wed Jun 22 07:24:32 EDT 2011


Zach Tatlock wrote:
> What is the standard way to serve css from within Ur/Web?
>    

There is no standard way; I've always used a standard web server to 
serve static CSS files.  Does your application require dynamic 
generation of CSS?



More information about the Ur mailing list