org: cleanup css files

* doc/org/syntax.css: Delete this useless file.
* doc/org/spot.css: Cleanup.
* doc/org/init.el.in, doc/org/.dir-locals.el.in: Only load spot.css.
* doc/Makefile.am: Only distribute spot.css.

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 \

doc/org/.dir-locals.el.in

@@ -34,9 +34,9 @@
 		   :recursive t
 		   :publishing-function org-publish-org-to-html
 		   ; Org 8
-		   :html-head "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"syntax.css\" />\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
+		   :html-head "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
 		   ; Org 7
-		   :style "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"syntax.css\" />\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
+		   :style "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
 		   :auto-preamble t)
 		  ("spot-static"
 		   :base-directory "."

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 "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"syntax.css\" />\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
+	:html-head "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
 	; Org 7
-	:style "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"syntax.css\" />\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
+	:style "<meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n<link rel=\"stylesheet\" type=\"text/css\" href=\"spot.css\" />"
 	:auto-preamble t)
        ("spot-static"
 	:base-directory "@abs_top_srcdir@/doc/org/"

doc/org/spot.css

-/*
-  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}
+}

doc/org/syntax.css

-.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 {