This plugin allows to use o7aCode for the page-setting of posts and comments.
You only have to decompress the file in the wp-content/plugins/ directory then to enable the plugin from the Plugin Management and to deactive the WYSIWYG in users options.
All parameters of the o7aCode class object can be set in the main php file which is editable from the Plugin Management.