Make changes to the editor style

[Anonymous]

Hi,

I can't make changes to the stylesheets, it seems all is incorporated in the edit_area_full.js

How can I edit styles of toolbar, for instance toolbar color?

How can I compress it back to one big file?

[Rafael Santiago]

I tried to change the CSS without succeed. Have some way to change the colors of the interface?

[athenaxing]

I changed the css code in the edit_area_full.js.

in docs/include.html:

edit_area_compressor.php
This php file send in a gzipped file the whole core script to the brower (if the browser has not already an updated version in cache). 
If the source core script files have changed, it take thoses files and merge them into one file. Then it remove all comments, white-spaces, etc... and save it in "edit_area_full.js". It also save a gzip version in "edit_area_full.gz". Then it send the gzip content to the browser (except for IE for which it is not gzipped due to IE bug with compression).

<script language="javascript" type="text/javascript" src="/editarea/edit_area/edit_area_compressor.php"></script>

Advantage:
The script is very small if gzip is supported (~25Ko).
Designed to allow core script modification.
Load the core script in one call to server.
Inconvient:
Need PHP to be installed on the server (and allowed to write in editarea directory for disk caching).
Need to make additional server calls for plugins.

If you plan to use "edit_area_compressor.php" be sure that PHP scripts are allowed to write in editarea directory (at the same level than the file "edit_area_compressor.php") for disk caching.

But I failed to generate the edit_area_full.js when I used this php file.
Maybe you can have a try.
I am not familiar with PHP.