| <html> |
| <head> |
| <style> |
| pre { margin: 0.1em; } |
| </style> |
| </head> |
| <body> |
| <b>Default tab size (8).</b> |
| <div> |
| <pre> x</pre> |
| <pre> x</pre> |
| <pre> x x</pre> |
| <pre>xx xx x</pre> |
| <pre>xxxxxxxxx xx x</pre> |
| </div> |
| <b>Tab size = -10, should fall back to the default.</b> |
| <div> |
| <pre> x</pre> |
| <pre> x</pre> |
| <pre> x x</pre> |
| <pre>xx xx x</pre> |
| <pre>xxxxxxxxx xx x</pre> |
| </div> |
| <b>Tab size = 2.</b> |
| <div> |
| <pre> x</pre> |
| <pre> x</pre> |
| <pre> x x</pre> |
| <pre>xx xx x</pre> |
| <pre>xxxxxxxxx xx x</pre> |
| </div> |
| <b>Tab size becomes 2 dynamically.</b> |
| <div> |
| <pre> x</pre> |
| <pre> x</pre> |
| <pre> x x</pre> |
| <pre>xx xx x</pre> |
| <pre>xxxxxxxxx xx x</pre> |
| </div> |
| |
| </body> |
| </html> |
