| <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> |