Removed explicit TinyMCE support, replaced with support for arbitrary page_formats. The TinyMCE files will be removed in an upcoming commit.
/* CSS file for table dialog in the table plugin */
.panel_wrapper div.current {
height: 245px;
}
.advfield {
width: 200px;
}
#class {
width: 150px;
}