283
edits
Playground: Difference between revisions
no edit summary
No edit summary |
KalmanKeri (talk | contribs) No edit summary |
||
| Line 25: | Line 25: | ||
| Arrow of ty * ty | | Arrow of ty * ty | ||
| Prod of ty * ty | | Prod of ty * ty | ||
== HTML tags == | |||
<span style="color: red; text-decoration: line-through;">Typo to be corrected</span> | |||
<span style="background-color: #eee; padding: 4px 8px;">Text with background</span> | |||
<div style="background-color: #eee; padding: 4px 8px;">Text block with background</div> | |||