[Ur] serving css from urweb

[Adam Chlipala]

Zach Tatlock wrote:
> I do not think this is a pressing issue either; I can distribute
> sqlite with an app and, as you point out, just have some wrapper
> script orchestrate the whole system.
>    

And, if you are distributing binaries, static linking will already 
accomplish what I think you're asking for.  (Just for the database side 
of things)

>>> Is there a way to get the fully qualified name of a style as a string?
>>>
>>>        
>> There might be some hacky way to do it now, but I haven't intended to expose
>> such a feature.  Style names are very predictable from module structure.
>>      
> Yes, they are predictable.  However, if I embed my css as a string and
> then change the style name, I should also change the css string.
> Unfortunately, nothing will remind me to do this.  A better approach
> would be to programmatically build the css string using the names the
> styles will ultimately have in the generated app.
>    

Right now, CSS styling itself is intentionally outside the scope of 
Ur/Web.  To allow CSS styling to appear in Ur/Web apps, I'd want to do a 
proper syntax embedding, not provide an easy way to interpret strings as 
CSS.

It's important to me that, by default, an Ur/Web application has access 
to no built-in way of interpreting strings as code in any language.  
This makes it easy to see that there are no code injection vulnerabilities.