diff --git a/Makefile b/Makefile index 18b5a4c..8675ff1 100644 --- a/Makefile +++ b/Makefile @@ -12,6 +12,7 @@ PATH_DOC_OUTPUT_INFO=${PATH_DOC_OUTPUT}/manual.info PATH_DOC_OUTPUT_PLAIN=${PATH_DOC_OUTPUT}/manual.txt PATH_DOC_OUTPUT_HTML=${PATH_DOC_OUTPUT}/manual PATH_DOC_OUTPUT_HTML1=${PATH_DOC_OUTPUT}/manual.html +PATH_DOC_CSS=${PATH_DOC}/manual.css PATH_MANUAL_TEXI=${PATH_DOC}/manual.texi COMBINE=${PATH_TOOLS}/combine @@ -54,14 +55,17 @@ doc: find ${PATH_DOC} -type f \ ! -name '*.texi' -a \ ! -name '.*' -a \ - ! -name '*.pdf' \ + ! -name '*.pdf' -a \ + ! -name '*.css' \ | xargs rm @mv -f ${PATH_DOC}/*.pdf ${PATH_DOC_OUTPUT} cd ${PATH_DOC}; \ makeinfo -o ${PATH_DOC_OUTPUT_INFO} ${PATH_MANUAL_TEXI}; \ makeinfo --plain ${PATH_MANUAL_TEXI} > ${PATH_DOC_OUTPUT_PLAIN}; \ - makeinfo --html -o ${PATH_DOC_OUTPUT_HTML} ${PATH_MANUAL_TEXI}; \ - makeinfo --no-split --html -o ${PATH_DOC_OUTPUT_HTML1} ${PATH_MANUAL_TEXI}; + makeinfo --html --css-include="${PATH_DOC_CSS}" \ + -o "${PATH_DOC_OUTPUT_HTML}" "${PATH_MANUAL_TEXI}"; \ + makeinfo --no-split --html --css-include="${PATH_DOC_CSS}" \ + -o ${PATH_DOC_OUTPUT_HTML1} ${PATH_MANUAL_TEXI}; # clean up build dir clean: diff --git a/doc/manual.css b/doc/manual.css new file mode 100644 index 0000000..4a461d8 --- /dev/null +++ b/doc/manual.css @@ -0,0 +1,21 @@ +/** + * ease.js manual color scheme + * + * Inspired by Tango Icon Theme + */ + +html { + background-color: #eeeeec; +} + +body { + background-color: white; + border-color: #babdb6; + border-width: 0px 1px; + border-style: solid; + + margin: 0px 5em; + padding: 1em; + + font-family: arial, serif; +}