On 04/01/2013 15:41, Lochmatter Thomas wrote:
> Dear all
>
> I recently run into an HTML editor that wouldn't accept the old HTML "font"
> tag any more, but requires valid HTML5. Hence, I created outlang files for
> HTML5, based on the current outlang files for HTML.
>
> The modifications are very small (<font color="..."> to <span
> style="color:...">, removed obsolete <tt>, body background), and work
> perfectly for me (using *.c files). I've also passed the resulting files
> through the W3C HTML validator, which reported no errors.
>
Thomas, sorry for the long delay!
I've applied your files in the git repository.
thanks again
Lorenzo
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
HOME: http://www.lorenzobettini.it
Xtext Book:
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book
_______________________________________________
Help-source-highlight mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-source-highlight
