#charset "UTF-8"

#include <tads.h>
#include <file.h>
#include <date.h>
#include <charset.h>


main()
{
"before basefont<br>";
"<basefont size=6>";
"text with html basefont size 6<br>";
"<small>in small tag<br>";
"<small>in nested small tag<br>";
"<small>in triple nested small tag<br>";
"</small></small></small>after small tags";
}

