[Ur] local css

[Adam Chlipala]

I recommend using the "file" directive in a .urp file.  See page 6 of 
the manual <http://www.impredicative.com/ur/manual.pdf>.

On 04/29/2016 09:58 AM, Nico Cerwick wrote:
> Hi everyone,
>
> i got an issue to link to my local css file. The compilation was 
> successful but it doesn't use the given style in the frontend. It only 
> works with a link to a webserver where i copied my css file but this 
> isn't the right solution in the sense of Ur/Web!?
>
> Can someone help me and give me some general instructions for this?
>
>
> With best regards,
>
> Nico Cerwick
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160429/5ec4d4a9/attachment.html>