encode AJAX POST params with encodeURIComponent() to allow symbols used in shell commands, setup <html> form to properly call AJAX function, work on CSS styling