diff --git a/doc/Makefile.am b/doc/Makefile.am index af248ebd4..2512b7142 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -59,7 +59,6 @@ ORG_FILES = \ org/.dir-locals.el.in \ org/g++wrap.in \ org/init.el.in \ - org/syntax.css \ org/spot.css \ org/autfilt.org \ org/csv.org \ diff --git a/doc/org/.dir-locals.el.in b/doc/org/.dir-locals.el.in index 5925821ba..3c6978fdd 100644 --- a/doc/org/.dir-locals.el.in +++ b/doc/org/.dir-locals.el.in @@ -34,9 +34,9 @@ :recursive t :publishing-function org-publish-org-to-html ; Org 8 - :html-head "\n\n" + :html-head "\n" ; Org 7 - :style "\n\n" + :style "\n" :auto-preamble t) ("spot-static" :base-directory "." diff --git a/doc/org/init.el.in b/doc/org/init.el.in index e0ba04502..739caf0e8 100644 --- a/doc/org/init.el.in +++ b/doc/org/init.el.in @@ -52,9 +52,9 @@ ,(if (require 'org-publish nil t) 'org-publish-org-to-html ; Org 7 'org-html-publish-to-html) ; Org 8 ; Org 8 - :html-head "\n\n" + :html-head "\n" ; Org 7 - :style "\n\n" + :style "\n" :auto-preamble t) ("spot-static" :base-directory "@abs_top_srcdir@/doc/org/" diff --git a/doc/org/spot.css b/doc/org/spot.css index b8faa0e91..9f9e9a45c 100644 --- a/doc/org/spot.css +++ b/doc/org/spot.css @@ -1,118 +1,27 @@ -/* - http://paletton.com/#uid=33i0X0kz3BrkeHdpSD1C7r1FAlb -*/ - -@media all -{ - body { - font-family: Arial, sans-serif; - font-weight: normal; - max-width: 62em; - margin: auto; - padding: 0 .5em; - background-image: url(http://spot.lrde.epita.fr/img/spot64.png); - background-repeat: no-repeat; - background-position: 25px 25px; - } - body #content { - padding-top: 45px; - } - body pre { - background: #fafafa; - border: none; - font-family: monospace, courier; - } - body code { - font-weight: bold; - } - body a { - color: #008181; } -/* body .title { - margin-left: 120px; - }*/ - - /* TOC inspired by http://jashkenas.github.com/coffee-script */ - #table-of-contents { - font-size: 80%; - max-width: 30em; - position: fixed; - right: 0em; - top: 0em; - padding-left: 0.5em; - padding-right: 0.5em; - -webkit-box-shadow: 0 0 1em #777777; - -moz-box-shadow: 0 0 1em #777777; - -webkit-border-bottom-left-radius: 5px; - -moz-border-radius-bottomleft: 5px; - text-align: right; - /* ensure doesn't flow off the screen when expanded */ - max-height: 80%; - overflow: auto; } - #table-of-contents ul { - padding-left: 1em; - } - #table-of-contents h2 { - font-size: 100%; - font-weight: normal; - padding-left: 0.5em; - padding-right: 0.5em; - padding-top: 0.05em; - padding-bottom: 0.05em; } - #table-of-contents #text-table-of-contents { - display: none; - text-align: left; } - #table-of-contents:hover #text-table-of-contents { - display: block; - padding: 0.5em; - margin-top: -1.5em; } - - .rss_box {} - .rss_title, rss_title a {} - .rss_items {} - .rss_item a:link, .rss_item a:visited, .rss_item a:active {} - .rss_item a:hover {} - .rss_date {} - - #org-div-home-and-up { - text-align: center; - font-size: 100%; - } - .done { color: SpringGreen; } - .WAIT { color: Orange; } - .timestamp-kwd { color: DeepPink; } - div#postamble { visibility: hidden; } - - .outline-2 h2 { - border-bottom-style: solid; - border-color: #ffe35e; - } - - pre.src { - padding-top: 8px; - border-left-style: solid; - border-color: #00adad; - } - pre.example { - border-left-style: solid; - border-color: #d80076; - } - pre.src:before { - border: none; - border-bottom-style: solid; - border-color: #00adad; - } - -} /* END OF @media all */ - -@media screen -{ - #table-of-contents { - float: right; - border-left: 1px solid #ffd300; - border-bottom: 1px solid #ffd300; - background: #ffe35e; - max-width: 50%; - overflow: auto; - z-index: 10; - } -} /* END OF @media screen */ +a{color:inherit;background-color:inherit;font:inherit;text-decoration:inherit} +a:hover{text-decoration:underline} +/* http://paletton.com/#uid=33i0X0kz3BrkeHdpSD1C7r1FAlb */ +@media all{ +body{font-family:Arial, sans-serif;font-weight:normal;max-width:62em;margin:auto;padding:0 .5em;background-image:url(/img/spot64.png);background-repeat:no-repeat;background-position:25px 25px} +body #content{padding-top:45px} +body pre{background:#fafafa;border:none;font-family:monospace, courier} +body code{font-weight:bold} +body a{color:#008181} +#table-of-contents{font-size:80%;max-width:30em;position:fixed;right:0em;top:0em;padding-left:0.5em;padding-right:0.5em;-webkit-box-shadow:0 0 1em #777777;-moz-box-shadow:0 0 1em #777777;-webkit-border-bottom-left-radius:5px;-moz-border-radius-bottomleft:5px;text-align:right;max-height:80%;overflow:auto} +#table-of-contents ul{padding-left:1em} +#table-of-contents h2{font-size:100%;font-weight:normal;padding-left:0.5em;padding-right:0.5em;padding-top:0.05em;padding-bottom:0.05em} +#table-of-contents #text-table-of-contents{display:none;text-align:left} +#table-of-contents:hover #text-table-of-contents{display:block;padding:0.5em;margin-top:-1.5em} +#org-div-home-and-up{text-align:center;font-size:100%} +.done{color:SpringGreen} +.WAIT{color:Orange} +.timestamp-kwd{color:DeepPink} +div#postamble{visibility:hidden} +.outline-2 h2{border-bottom-style:solid;border-color:#ffe35e} +pre.src{padding-top:8px;border-left-style:solid;border-color:#00adad} +pre.example{border-left-style:solid;border-color:#d80076} +pre.src:before{border:none;border-bottom-style:solid;border-color:#00adad} +} +@media screen{ +#table-of-contents{float:right;border-left:1px solid #ffd300;border-bottom:1px solid #ffd300;background:#ffe35e;max-width:50%;overflow:auto;z-index:10} +} diff --git a/doc/org/syntax.css b/doc/org/syntax.css deleted file mode 100644 index 1ba1ea684..000000000 --- a/doc/org/syntax.css +++ /dev/null @@ -1,867 +0,0 @@ -.org-bold { - /* bold */ - font-weight: bold; -} -.org-bold-italic { - /* bold-italic */ - font-weight: bold; - font-style: italic; -} -.org-border { -} -.org-buffer-menu-buffer { - /* buffer-menu-buffer */ - font-weight: bold; -} -.org-builtin { - /* font-lock-builtin-face */ - color: #b0c4de; -} -.org-button { - /* button */ - color: #00ffff; - text-decoration: underline; -} -.org-calendar-today { - /* calendar-today */ - text-decoration: underline; -} -.org-change-log-acknowledgement { - /* change-log-acknowledgement */ - color: #ff7f24; -} -.org-change-log-conditionals { - /* change-log-conditionals */ - color: #eedd82; -} -.org-change-log-date { - /* change-log-date */ - color: #ffa07a; -} -.org-change-log-email { - /* change-log-email */ - color: #eedd82; -} -.org-change-log-file { - /* change-log-file */ - color: #87cefa; -} -.org-change-log-function { - /* change-log-function */ - color: #eedd82; -} -.org-change-log-list { - /* change-log-list */ - color: #00ffff; -} -.org-change-log-name { - /* change-log-name */ - color: #7fffd4; -} -.org-comint-highlight-input { - /* comint-highlight-input */ - font-weight: bold; -} -.org-comint-highlight-prompt { - /* comint-highlight-prompt */ - color: #00ffff; -} -.org-comment { - /* font-lock-comment-face */ - color: #ff7f24; -} -.org-comment-delimiter { - /* font-lock-comment-delimiter-face */ - color: #ff7f24; -} -.org-completions-annotations { - /* completions-annotations */ - text-decoration: underline; -} -.org-completions-common-part { - /* completions-common-part */ - color: #f5deb3; - background-color: #2f4f4f; -} -.org-completions-first-difference { - /* completions-first-difference */ - font-weight: bold; -} -.org-constant { - /* font-lock-constant-face */ - color: #7fffd4; -} -.org-cursor { - /* cursor */ - background-color: #da70d6; -} -.org-diary { - /* diary */ - color: #ffff00; -} -.org-doc { - /* font-lock-doc-face */ - color: #ffa07a; -} -.org-error { - /* error */ - color: #ffc0cb; - font-weight: bold; -} -.org-escape-glyph { - /* escape-glyph */ - color: #00ffff; -} -.org-file-name-shadow { - /* file-name-shadow */ - color: #b3b3b3; -} -.org-fixed-pitch { -} -.org-flyspell-duplicate { - /* flyspell-duplicate */ - color: #cdad00; - font-weight: bold; - text-decoration: underline; -} -.org-flyspell-incorrect { - /* flyspell-incorrect */ - color: #ff4500; - font-weight: bold; - text-decoration: underline; -} -.org-fringe { - /* fringe */ - background-color: #1a1a1a; -} -.org-function-name { - /* font-lock-function-name-face */ - color: #87cefa; -} -.org-git-header { - /* git-header-face */ - color: #0000ff; -} -.org-git-ignored { - /* git-ignored-face */ - color: #666666; -} -.org-git-mark { - /* git-mark-face */ - color: #ff6347; - font-weight: bold; -} -.org-git-permission { - /* git-permission-face */ - color: #00ff00; - font-weight: bold; -} -.org-git-separator { - /* git-separator-face */ - color: #a52a2a; -} -.org-git-status { - /* git-status-face */ - color: #fa8072; -} -.org-git-unknown { - /* git-unknown-face */ - color: #daa520; - font-weight: bold; -} -.org-git-unmerged { - /* git-unmerged-face */ - color: #ff0000; - font-weight: bold; -} -.org-git-uptodate { - /* git-uptodate-face */ - color: #666666; -} -.org-glyphless-char { - /* glyphless-char */ - font-size: 60%; -} -.org-header-line { - /* header-line */ - color: #e5e5e5; - background-color: #333333; -} -.org-help-argument-name { -} -.org-highlight { - /* highlight */ - background-color: #556b2f; -} -.org-holiday { - /* holiday */ - background-color: #8b4513; -} -.org-ido-first-match { - /* ido-first-match */ - font-weight: bold; -} -.org-ido-incomplete-regexp { - /* ido-incomplete-regexp */ - color: #ffc0cb; - font-weight: bold; -} -.org-ido-indicator { - /* ido-indicator */ - color: #ffff00; - background-color: #ff0000; -} -.org-ido-only-match { - /* ido-only-match */ - color: #228b22; -} -.org-ido-subdir { - /* ido-subdir */ - color: #ff0000; -} -.org-ido-virtual { - /* ido-virtual */ - color: #b0c4de; -} -.org-info-header-node { - /* info-header-node */ - color: #ffffff; - font-weight: bold; - font-style: italic; -} -.org-info-header-xref { - /* info-header-xref */ - color: #00ffff; - text-decoration: underline; -} -.org-info-menu-header { - /* info-menu-header */ - font-weight: bold; -} -.org-info-menu-star { - /* info-menu-star */ - color: #ff0000; -} -.org-info-node { - /* info-node */ - color: #ffffff; - font-weight: bold; - font-style: italic; -} -.org-info-title-1 { - /* info-title-1 */ - font-size: 172%; - font-weight: bold; -} -.org-info-title-2 { - /* info-title-2 */ - font-size: 144%; - font-weight: bold; -} -.org-info-title-3 { - /* info-title-3 */ - font-size: 120%; - font-weight: bold; -} -.org-info-title-4 { - /* info-title-4 */ - font-weight: bold; -} -.org-info-xref { - /* info-xref */ - color: #00ffff; - text-decoration: underline; -} -.org-isearch { - /* isearch */ - color: #8b2323; - background-color: #ee799f; -} -.org-isearch-fail { - /* isearch-fail */ - background-color: #8b0000; -} -.org-italic { - /* italic */ - text-decoration: underline; -} -.org-keyword { - /* font-lock-keyword-face */ - color: #00ffff; -} -.org-lazy-highlight { - /* lazy-highlight */ - background-color: #668b8b; -} -.org-link { - /* link */ - color: #00ffff; - text-decoration: underline; -} -.org-link-visited { - /* link-visited */ - color: #ee82ee; - text-decoration: underline; -} -.org-log-edit-header { - /* log-edit-header */ - color: #00ffff; -} -.org-log-edit-summary { - /* log-edit-summary */ - color: #87cefa; -} -.org-log-edit-unknown-header { - /* log-edit-unknown-header */ - color: #ff7f24; -} -.org-match { - /* match */ - background-color: #3a5fcd; -} -.org-menu { -} -.org-minibuffer-prompt { - /* minibuffer-prompt */ - color: #00ffff; -} -.org-mmm-cleanup-submode { - /* mmm-cleanup-submode-face */ - background-color: #cd853f; -} -.org-mmm-code-submode { - /* mmm-code-submode-face */ - background-color: #293b3b; -} -.org-mmm-comment-submode { - /* mmm-comment-submode-face */ - background-color: #4682b4; -} -.org-mmm-declaration-submode { - /* mmm-declaration-submode-face */ - background-color: #00ced1; -} -.org-mmm-default-submode { - /* mmm-default-submode-face */ - background-color: #333333; -} -.org-mmm-delimiter { -} -.org-mmm-init-submode { - /* mmm-init-submode-face */ - background-color: #ba55d3; -} -.org-mmm-output-submode { - /* mmm-output-submode-face */ - background-color: #c71585; -} -.org-mmm-special-submode { - /* mmm-special-submode-face */ - background-color: #228b22; -} -.org-mode-line { - /* mode-line */ - color: #000000; - background-color: #bfbfbf; -} -.org-mode-line-buffer-id { - /* mode-line-buffer-id */ - font-weight: bold; -} -.org-mode-line-emphasis { - /* mode-line-emphasis */ - font-weight: bold; -} -.org-mode-line-highlight { -} -.org-mode-line-inactive { - /* mode-line-inactive */ - color: #cccccc; - background-color: #4d4d4d; -} -.org-mouse { -} -.org-negation-char { -} -.org-next-error { - /* next-error */ - background-color: #737373; -} -.org-nobreak-space { - /* nobreak-space */ - color: #00ffff; - text-decoration: underline; -} -.org-org-agenda-calendar-event { - /* org-agenda-calendar-event */ - color: #f5deb3; - background-color: #2f4f4f; -} -.org-org-agenda-calendar-sexp { - /* org-agenda-calendar-sexp */ - color: #f5deb3; - background-color: #2f4f4f; -} -.org-org-agenda-clocking { - /* org-agenda-clocking */ - background-color: #4a708b; -} -.org-org-agenda-column-dateline { - /* org-agenda-column-dateline */ - background-color: #4d4d4d; -} -.org-org-agenda-current-time { - /* org-agenda-current-time */ - color: #eedd82; -} -.org-org-agenda-date { - /* org-agenda-date */ - color: #87cefa; -} -.org-org-agenda-date-today { - /* org-agenda-date-today */ - color: #87cefa; - font-weight: bold; - font-style: italic; -} -.org-org-agenda-date-weekend { - /* org-agenda-date-weekend */ - color: #87cefa; - font-weight: bold; -} -.org-org-agenda-diary { - /* org-agenda-diary */ - color: #f5deb3; - background-color: #2f4f4f; -} -.org-org-agenda-dimmed-todo { - /* org-agenda-dimmed-todo-face */ - color: #7f7f7f; -} -.org-org-agenda-done { - /* org-agenda-done */ - color: #98fb98; -} -.org-org-agenda-filter-category { - /* org-agenda-filter-category */ - color: #000000; - background-color: #bfbfbf; -} -.org-org-agenda-filter-tags { - /* org-agenda-filter-tags */ - color: #000000; - background-color: #bfbfbf; -} -.org-org-agenda-restriction-lock { - /* org-agenda-restriction-lock */ - background-color: #4a708b; -} -.org-org-agenda-structure { - /* org-agenda-structure */ - color: #87cefa; -} -.org-org-archived { - /* org-archived */ - color: #b3b3b3; -} -.org-org-block { - /* org-block */ - color: #b3b3b3; -} -.org-org-block-background { -} -.org-org-block-begin-line { - /* org-block-begin-line */ - color: #ff7f24; -} -.org-org-block-end-line { - /* org-block-end-line */ - color: #ff7f24; -} -.org-org-checkbox { - /* org-checkbox */ - font-weight: bold; -} -.org-org-checkbox-statistics-done { - /* org-checkbox-statistics-done */ - color: #98fb98; - font-weight: bold; -} -.org-org-checkbox-statistics-todo { - /* org-checkbox-statistics-todo */ - color: #ffc0cb; - font-weight: bold; -} -.org-org-clock-overlay { - /* org-clock-overlay */ - background-color: #4a708b; -} -.org-org-code { - /* org-code */ - color: #b3b3b3; -} -.org-org-column { - /* org-column */ - background-color: #4d4d4d; -} -.org-org-column-title { - /* org-column-title */ - background-color: #4d4d4d; - font-weight: bold; - text-decoration: underline; -} -.org-org-date { - /* org-date */ - color: #00ffff; - text-decoration: underline; -} -.org-org-date-selected { - /* org-date-selected */ - color: #ffc0cb; -} -.org-org-default { - /* org-default */ - color: #f5deb3; - background-color: #2f4f4f; -} -.org-org-document-info { - /* org-document-info */ - color: #afeeee; -} -.org-org-document-info-keyword { - /* org-document-info-keyword */ - color: #b3b3b3; -} -.org-org-document-title { - /* org-document-title */ - color: #afeeee; - font-weight: bold; -} -.org-org-done { - /* org-done */ - color: #98fb98; - font-weight: bold; -} -.org-org-drawer { - /* org-drawer */ - color: #87cefa; -} -.org-org-ellipsis { - /* org-ellipsis */ - color: #eedd82; - text-decoration: underline; -} -.org-org-footnote { - /* org-footnote */ - color: #00ffff; - text-decoration: underline; -} -.org-org-formula { - /* org-formula */ - color: #ff7f24; -} -.org-org-headline-done { - /* org-headline-done */ - color: #ffa07a; -} -.org-org-hide { - /* org-hide */ - color: #2f4f4f; -} -.org-org-latex-and-export-specials { - /* org-latex-and-export-specials */ - color: #deb887; -} -.org-org-level-1 { - /* org-level-1 */ - color: #87cefa; -} -.org-org-level-2 { - /* org-level-2 */ - color: #eedd82; -} -.org-org-level-3 { - /* org-level-3 */ - color: #00ffff; -} -.org-org-level-4 { - /* org-level-4 */ - color: #ff7f24; -} -.org-org-level-5 { - /* org-level-5 */ - color: #98fb98; -} -.org-org-level-6 { - /* org-level-6 */ - color: #7fffd4; -} -.org-org-level-7 { - /* org-level-7 */ - color: #b0c4de; -} -.org-org-level-8 { - /* org-level-8 */ - color: #ffa07a; -} -.org-org-link { - /* org-link */ - color: #00ffff; - text-decoration: underline; -} -.org-org-list-dt { - /* org-list-dt */ - font-weight: bold; -} -.org-org-meta-line { - /* org-meta-line */ - color: #ff7f24; -} -.org-org-mode-line-clock { - /* org-mode-line-clock */ - color: #000000; - background-color: #bfbfbf; -} -.org-org-mode-line-clock-overrun { - /* org-mode-line-clock-overrun */ - color: #000000; - background-color: #ff0000; -} -.org-org-property-value { -} -.org-org-quote { - /* org-quote */ - color: #b3b3b3; -} -.org-org-scheduled { - /* org-scheduled */ - color: #98fb98; -} -.org-org-scheduled-previously { - /* org-scheduled-previously */ - color: #ff7f24; -} -.org-org-scheduled-today { - /* org-scheduled-today */ - color: #98fb98; -} -.org-org-sexp-date { - /* org-sexp-date */ - color: #00ffff; -} -.org-org-special-keyword { - /* org-special-keyword */ - color: #00ffff; -} -.org-org-table { - /* org-table */ - color: #87cefa; -} -.org-org-tag { - /* org-tag */ - font-weight: bold; -} -.org-org-target { - /* org-target */ - text-decoration: underline; -} -.org-org-time-grid { - /* org-time-grid */ - color: #eedd82; -} -.org-org-todo { - /* org-todo */ - color: #ffc0cb; - font-weight: bold; -} -.org-org-upcoming-deadline { - /* org-upcoming-deadline */ - color: #ff7f24; -} -.org-org-verbatim { - /* org-verbatim */ - color: #b3b3b3; -} -.org-org-verse { - /* org-verse */ - color: #b3b3b3; -} -.org-org-warning { - /* org-warning */ - color: #ffc0cb; - font-weight: bold; -} -.org-outline-1 { - /* outline-1 */ - color: #87cefa; -} -.org-outline-2 { - /* outline-2 */ - color: #eedd82; -} -.org-outline-3 { - /* outline-3 */ - color: #00ffff; -} -.org-outline-4 { - /* outline-4 */ - color: #ff7f24; -} -.org-outline-5 { - /* outline-5 */ - color: #98fb98; -} -.org-outline-6 { - /* outline-6 */ - color: #7fffd4; -} -.org-outline-7 { - /* outline-7 */ - color: #b0c4de; -} -.org-outline-8 { - /* outline-8 */ - color: #ffa07a; -} -.org-ppXl-highlight { -} -.org-preprocessor { - /* font-lock-preprocessor-face */ - color: #b0c4de; -} -.org-query-replace { - /* query-replace */ - color: #8b2323; - background-color: #ee799f; -} -.org-regexp-grouping-backslash { - /* font-lock-regexp-grouping-backslash */ - font-weight: bold; -} -.org-regexp-grouping-construct { - /* font-lock-regexp-grouping-construct */ - font-weight: bold; -} -.org-region { - /* region */ - background-color: #737373; -} -.org-scroll-bar { -} -.org-secondary-selection { - /* secondary-selection */ - background-color: #4a708b; -} -.org-shadow { - /* shadow */ - color: #b3b3b3; -} -.org-string { - /* font-lock-string-face */ - color: #ffa07a; -} -.org-success { - /* success */ - color: #00ff00; - font-weight: bold; -} -.org-tool-bar { - /* tool-bar */ - color: #000000; - background-color: #bfbfbf; -} -.org-tooltip { - /* tooltip */ - color: #000000; - background-color: #ffffe0; -} -.org-trailing-whitespace { - /* trailing-whitespace */ - background-color: #ff0000; -} -.org-type { - /* font-lock-type-face */ - color: #98fb98; -} -.org-underline { - /* underline */ - text-decoration: underline; -} -.org-variable-name { - /* font-lock-variable-name-face */ - color: #eedd82; -} -.org-variable-pitch { -} -.org-vertical-border { -} -.org-warning { - /* warning */ - color: #ff8c00; - font-weight: bold; -} -.org-warning-1 { - /* font-lock-warning-face */ - color: #ffc0cb; - font-weight: bold; -} -.org-whitespace-empty { - /* whitespace-empty */ - color: #b22222; - background-color: #ffff00; -} -.org-whitespace-hspace { - /* whitespace-hspace */ - color: #a9a9a9; - background-color: #3d3d3d; -} -.org-whitespace-indentation { - /* whitespace-indentation */ - color: #b22222; - background-color: #ffff00; -} -.org-whitespace-line { - /* whitespace-line */ - color: #ee82ee; - background-color: #333333; -} -.org-whitespace-newline { - /* whitespace-newline */ - color: #a9a9a9; -} -.org-whitespace-space { - /* whitespace-space */ - color: #a9a9a9; - background-color: #333333; -} -.org-whitespace-space-after-tab { - /* whitespace-space-after-tab */ - color: #b22222; - background-color: #ffff00; -} -.org-whitespace-space-before-tab { - /* whitespace-space-before-tab */ - color: #b22222; - background-color: #ff8c00; -} -.org-whitespace-tab { - /* whitespace-tab */ - color: #a9a9a9; - background-color: #383838; -} -.org-whitespace-trailing { - /* whitespace-trailing */ - color: #ffff00; - background-color: #ff0000; - font-weight: bold; -} - -a { - color: inherit; - background-color: inherit; - font: inherit; - text-decoration: inherit; -} -a:hover { - text-decoration: underline; -}