6c6
< <meta name="generator" content="AsciiDoc 8.3.5" />
---
> <meta name="generator" content="AsciiDoc 8.4.4" />
336c336
<   color: #527bbd;
---
>   color: black;/*#527bbd;*/
368,369c368,369
<   background: #f4f4f4;/*#ffffee;*/
<   border: 1px solid silver;
---
>   background: #e9f4ff;/*light blue #cedff2;#f4f4f4;#ffffee;*/
>   border: 1px solid #a3b0bf;/*dark blue #000099;/*silver;*/
400,401c400,401
< 	background: #efffef;
< 	border: 1px solid #86b686;
---
> 	background: #e9ffe9;/*#cef2e0;light green #e9ffe9;#efffef;*/
> 	border: 1px solid #a3bfb1;/*dark green #006600;#86b686;*/
409,410c409,410
< 	background: #fff4f4;
< 	border: 1px solid #aa8888;
---
> 	background: #f5f0ff;/*light red #ddcef2;#faf4ff;#fff4f4;*/
> 	border: 1px solid #afa3bf;/*dark red #990000;#aa8888;*/
642a643,648
> //msommers user-defined
> {input:"triangle",   tag:"mo", output:"\u25B3", tex:"bigtriangleup", ttype:CONST},
> {input:"ell",   tag:"mi", output:"\u2113", tex:null, ttype:CONST},
> {input:"EE",   tag:"mo", output:"\u1D53C", tex:null, ttype:CONST},
> {input:"bigcirc",   tag:"mo", output:"\u25EF", tex:null, ttype:CONST},
> 
1529c1535
< Last updated 2009-03-22 22:04:50 Central Daylight Time
---
> Last updated 2009-06-06 06:41:52 CDT