Skip to content
Snippets Groups Projects
Select Git revision
  • 49be97e9e27ba694db17dddca34053c780635e91
  • develop default protected
  • feature/kinetic-schemes
  • feature/reconstruction
  • feature/local-dt-fsi
  • feature/composite-scheme-sources
  • feature/composite-scheme-other-fluxes
  • feature/serraille
  • feature/variational-hydro
  • feature/composite-scheme
  • hyperplastic
  • feature/polynomials
  • feature/gks
  • feature/implicit-solver-o2
  • feature/coupling_module
  • feature/implicit-solver
  • feature/merge-local-dt-fsi
  • master protected
  • feature/escobar-smoother
  • feature/hypoelasticity-clean
  • feature/hypoelasticity
  • v0.5.0 protected
  • v0.4.1 protected
  • v0.4.0 protected
  • v0.3.0 protected
  • v0.2.0 protected
  • v0.1.0 protected
  • Kidder
  • v0.0.4 protected
  • v0.0.3 protected
  • v0.0.2 protected
  • v0 protected
  • v0.0.1 protected
33 results

gray.theme

Blame
    • Stéphane Del Pino's avatar
      49be97e9
      git subrepo pull packages/org-themes · 49be97e9
      Stéphane Del Pino authored 
      subrepo:
  subdir:   "packages/org-themes"
  merged:   "0afa2af54"
upstream:
  origin:   "git@gitlab.com:OlMon/org-themes.git"
  branch:   "master"
  commit:   "0afa2af54"
git-subrepo:
  version:  "0.4.9"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "30db3b8"
      49be97e9
      History
      git subrepo pull packages/org-themes
      Stéphane Del Pino authored 
      subrepo:
  subdir:   "packages/org-themes"
  merged:   "0afa2af54"
upstream:
  origin:   "git@gitlab.com:OlMon/org-themes.git"
  branch:   "master"
  commit:   "0afa2af54"
git-subrepo:
  version:  "0.4.9"
  origin:   "git@github.com:ingydotnet/git-subrepo.git"
  commit:   "30db3b8"
    gray.theme 13.86 KiB 
    # Turn off default internal styles
#+OPTIONS: html-style:nil

#+HTML_HEAD: <style type="text/css">
#+HTML_HEAD: body {
#+HTML_HEAD:     font-family: Helvetica, Arial, sans-serif;
#+HTML_HEAD:     font-size: 16px;
#+HTML_HEAD:     line-height: 1.4;
#+HTML_HEAD:     color: #33333f;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: code {
#+HTML_HEAD:     font-family: "Inconsolata", "monospace";
#+HTML_HEAD:     font-size: 16px;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: p>code, li>code {
#+HTML_HEAD:     background-color: #eee;
#+HTML_HEAD:     padding: 0.25em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: h1, h2, h3 {
#+HTML_HEAD:     font-family: "Roboto Slab", Helvetica, Arial, sans-serif;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: h2 {
#+HTML_HEAD:     border-bottom: 1px solid #f0c;
#+HTML_HEAD:     padding-bottom: 0.5em;
#+HTML_HEAD:     font-size: 1.75em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: h3 {
#+HTML_HEAD:     margin-top: 2em;
#+HTML_HEAD:     font-size: 1.5em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: h4 {
#+HTML_HEAD:     font-size: 1.25em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: h5 {
#+HTML_HEAD:     font-size: 1em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: h2 code, h3 code, h4 code, h5 code, td code {
#+HTML_HEAD:     font-family: inherit !important;
#+HTML_HEAD:     font-size: inherit !important;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: td code {
#+HTML_HEAD:     font-weight: bold;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a:link, a:hover, a:visited {
#+HTML_HEAD:                      text-decoration: none;
#+HTML_HEAD:                      color: black;
#+HTML_HEAD:                  }
#+HTML_HEAD: 
#+HTML_HEAD: a:link {
#+HTML_HEAD:     background: #ff8;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a:visited {
#+HTML_HEAD:     color: #666;
#+HTML_HEAD:     background: #ffc;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a:link:hover,
#+HTML_HEAD: a:visited:hover {
#+HTML_HEAD:     background: #ff0;
    #+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a[href^="http"] {
#+HTML_HEAD:     background: #bff;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a[href^="http"]:visited {
#+HTML_HEAD:     background: #dff;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a[href^="http"]:link:hover,
#+HTML_HEAD: a[href^="http"]:visited:hover {
#+HTML_HEAD:     background: #0ff;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: a[href^="http"]:after {
#+HTML_HEAD:     content: "\21B3";
#+HTML_HEAD:     background: white;
#+HTML_HEAD:     padding-left: 0.2em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #meta {
#+HTML_HEAD:     margin-top: 2em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents a:link,
#+HTML_HEAD: #table-of-contents a:visited {
#+HTML_HEAD:     color: black;
#+HTML_HEAD:     background: transparent;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents {
#+HTML_HEAD:     line-height: 1.2;
#+HTML_HEAD: }
#+HTML_HEAD: #table-of-contents h2 {
#+HTML_HEAD:     border-bottom: 0;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents ul {
#+HTML_HEAD:     list-style: none;
#+HTML_HEAD:     padding-left: 0.5em;
#+HTML_HEAD:     font-weight: normal;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents div>ul>li {
#+HTML_HEAD:     margin-top: 1em;
#+HTML_HEAD:     font-weight: bold;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents .tag {
#+HTML_HEAD:     display: none;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents .todo,
#+HTML_HEAD: #table-of-contents .done {
#+HTML_HEAD:     font-size: 80%;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: #table-of-contents ol>li {
#+HTML_HEAD:     margin-top: 1em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: table {
#+HTML_HEAD:     width: 100%;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: table, th, td {
#+HTML_HEAD:     border: 1px solid #666;
#+HTML_HEAD: }
#+HTML_HEAD: 
    #+HTML_HEAD: th, td {
#+HTML_HEAD:     padding: 0.5em;
#+HTML_HEAD:     text-align: left;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: tbody tr:nth-child(odd) {
#+HTML_HEAD:     background-color: #eee;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: img {
#+HTML_HEAD:     max-width: 90%;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice {
#+HTML_HEAD:     position: relative;
#+HTML_HEAD:     margin: 0 1.2em;
#+HTML_HEAD:     padding: 0.25em 1em;
#+HTML_HEAD:     border-left: 4px solid;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: table + div.notice {
#+HTML_HEAD:     margin-top: 2em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice a {
#+HTML_HEAD:     background: transparent !important;
#+HTML_HEAD:     border-bottom: 1px dotted;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice a[href^="http"]:after {
#+HTML_HEAD:     background: transparent !important;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice:before {
#+HTML_HEAD:     position: absolute;
#+HTML_HEAD:     top: 0;
#+HTML_HEAD:     right: 0;
#+HTML_HEAD:     padding: 0.25em 0.5em 0;
#+HTML_HEAD:     font-size: 60%;
#+HTML_HEAD:     border-bottom-left-radius: 0.5em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .notice-warning {
#+HTML_HEAD:     background: #fcc;
#+HTML_HEAD:     color: #600;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .notice-example {
#+HTML_HEAD:     background: #def;
#+HTML_HEAD:     color: #069;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .notice-info {
#+HTML_HEAD:     background: #efe;
#+HTML_HEAD:     color: #060;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .notice-warning a {
#+HTML_HEAD:     color: #600;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .notice-example a {
#+HTML_HEAD:     color: #069;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .notice-info a {
#+HTML_HEAD:     color: #060;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice-warning:before {
    #+HTML_HEAD:     content: "WARNING";
#+HTML_HEAD:     background: #c99;
#+HTML_HEAD:     color: #fcc;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice-example:before {
#+HTML_HEAD:     content: "EXAMPLE";
#+HTML_HEAD:     background: #abc;
#+HTML_HEAD:     color: #def;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.notice-info:before {
#+HTML_HEAD:     content: "INFO";
#+HTML_HEAD:     background: #9c9;
#+HTML_HEAD:     color: #efe;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: /* things inside the #+BEGIN_NOTE...#+END_NOTE block */
#+HTML_HEAD: div.NOTE a {
#+HTML_HEAD:     background: transparent !important;
#+HTML_HEAD:     border-bottom: 1px dotted;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.NOTE {
#+HTML_HEAD:     position: relative;
#+HTML_HEAD:     margin: 0 1.2em;
#+HTML_HEAD:     padding: 0.25em 1em;
#+HTML_HEAD:     border-left: 4px solid;
#+HTML_HEAD:     margin-top: 2em;
#+HTML_HEAD:     background: #efe;
#+HTML_HEAD:     color: #060;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.NOTE:before {
#+HTML_HEAD:     position: absolute;
#+HTML_HEAD:     top: 0;
#+HTML_HEAD:     right: 0;
#+HTML_HEAD:     padding: 0.25em 0.5em 0;
#+HTML_HEAD:     font-size: 60%;
#+HTML_HEAD:     border-bottom-left-radius: 0.5em;
#+HTML_HEAD:     content: "NOTE";
#+HTML_HEAD:     background: #9c9;
#+HTML_HEAD:     color: #efe;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: blockquote {
#+HTML_HEAD:     padding: 0px 10px 0px 10px;
#+HTML_HEAD:     border: 1px solid #ddd;
#+HTML_HEAD:     background: #eee;
#+HTML_HEAD:     box-shadow: 5px 5px 5px #eee;
#+HTML_HEAD:     border-radius: 2px;
#+HTML_HEAD:     line-height: 1.2em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre {
#+HTML_HEAD:     font-family: "Inconsolata", "monospace";
#+HTML_HEAD:     font-size: 100%;
#+HTML_HEAD:     border: 0;
#+HTML_HEAD:     box-shadow: none;
#+HTML_HEAD:     overflow: auto;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.example:before {
#+HTML_HEAD:     content: "EXAMPLE";
#+HTML_HEAD:     display: block;
#+HTML_HEAD:     border-bottom: 1px dotted;
#+HTML_HEAD:     margin-bottom: 1em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.example {
    #+HTML_HEAD:     background: #fec;
#+HTML_HEAD:     color: #666;
#+HTML_HEAD:     font-size: 0.85em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre {
#+HTML_HEAD:     background-color: #f8f8f8;
#+HTML_HEAD:     background-size: 8px 8px;
#+HTML_HEAD:     background-image: linear-gradient(135deg, transparent 25%, rgba(0, 0, 0, 0.02) 25%, rgba(0, 0, 0, 0.02) 50%, transparent 50%, transparent 75%, rgba(0, 0, 0, 0.02) 75%, rgba(0, 0, 0, 0.02));
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src {
#+HTML_HEAD:     padding: 0.5em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src:before {
#+HTML_HEAD:     display: block;
#+HTML_HEAD:     position: absolute;
#+HTML_HEAD:     background-color: #ccccd0;
#+HTML_HEAD:     top: 0;
#+HTML_HEAD:     right: 0;
#+HTML_HEAD:     padding: 0.25em 0.5em;
#+HTML_HEAD:     border-bottom-left-radius: 8px;
#+HTML_HEAD:     border: 0;
#+HTML_HEAD:     color: white;
#+HTML_HEAD:     font-size: 80%;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src-plantuml:before {
#+HTML_HEAD:     content: "UML";
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src-javascript:before {
#+HTML_HEAD:     content: "JS";
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src-clojure:before {
#+HTML_HEAD:     content: "CLJ";
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src-c:before {
#+HTML_HEAD:     content: "C";
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src-sh:before {
#+HTML_HEAD:     content: "Shell";
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: pre.src-es:before {
#+HTML_HEAD:     content: "ES";
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-string {
#+HTML_HEAD:     color: #f94;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-keyword {
#+HTML_HEAD:     color: #c07;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-variable-name {
#+HTML_HEAD:     color: #f04;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-clojure-keyword {
#+HTML_HEAD:     color: #09f;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-comment, span.org-comment-delimiter {
#+HTML_HEAD:     color: #999;
    #+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-rainbow-delimiters-depth-1, span.org-rainbow-delimiters-depth-5 {
#+HTML_HEAD:     color: #666;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-rainbow-delimiters-depth-2, span.org-rainbow-delimiters-depth-6 {
#+HTML_HEAD:     color: #888;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-rainbow-delimiters-depth-3, span.org-rainbow-delimiters-depth-7 {
#+HTML_HEAD:     color: #aaa;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: span.org-rainbow-delimiters-depth-4, span.org-rainbow-delimiters-depth-8 {
#+HTML_HEAD:     color: #ccc;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: div.figure {
#+HTML_HEAD:     font-size: 0.85em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .tag {
#+HTML_HEAD:     font-family: "Roboto Slab", Helvetica, Arial, sans-serif;
#+HTML_HEAD:     font-size: 11px;
#+HTML_HEAD:     font-weight: normal;
#+HTML_HEAD:     float: right;
#+HTML_HEAD:     margin-top: 1em;
#+HTML_HEAD:     background: transparent;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .tag span {
#+HTML_HEAD:     background: #ccc;
#+HTML_HEAD:     padding: 0 0.5em;
#+HTML_HEAD:     border-radius: 0.2em;
#+HTML_HEAD:     color: white;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .todo, .done {
#+HTML_HEAD:     font-family: "Roboto Slab", Helvetica, Arial, sans-serif;
#+HTML_HEAD:     font-weight: normal;
#+HTML_HEAD:     padding: 0 0.25em;
#+HTML_HEAD:     border-radius: 0.2em;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .todo {
#+HTML_HEAD:     background: #f04;
#+HTML_HEAD:     color: white;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: .done {
#+HTML_HEAD:     background: #5f7;
#+HTML_HEAD:     color: white;
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: @media screen {
#+HTML_HEAD:     h1.title {
#+HTML_HEAD:         text-align: left;
#+HTML_HEAD:         margin: 0.5em 0 1em 0;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     h2 {
#+HTML_HEAD:         margin-top: 3em;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     #table-of-contents {
#+HTML_HEAD:         position: fixed;
#+HTML_HEAD:         top: 0;
#+HTML_HEAD:         left: 0;
#+HTML_HEAD:         padding: 2em 0 2em 2em;
    #+HTML_HEAD:         width: 290px;
#+HTML_HEAD:         height: 100vh;
#+HTML_HEAD:         font-size: 11px;
#+HTML_HEAD:         background: #eee;
#+HTML_HEAD:         overflow-x: hidden;
#+HTML_HEAD:         overflow-y: auto;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     #table-of-contents h2 {
#+HTML_HEAD:         margin-top: 0;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     #table-of-contents code {
#+HTML_HEAD:         font-size: 12px;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     div#content {
#+HTML_HEAD:         margin-left: 320px;
#+HTML_HEAD:         max-width: 1100px;
#+HTML_HEAD:     }
#+HTML_HEAD:     div#postamble {
#+HTML_HEAD:         margin-left: 320px;
#+HTML_HEAD:         max-width: 1100px;
#+HTML_HEAD:     }
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: @media screen and (max-width: 1024px) {
#+HTML_HEAD:     html, body {
#+HTML_HEAD:         font-size: 14px;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     #table-of-contents {
#+HTML_HEAD:         display: none;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     h1.title {
#+HTML_HEAD:         margin-left: 0%;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     div#content {
#+HTML_HEAD:         margin-left: 5%;
#+HTML_HEAD:         max-width: 90%;
#+HTML_HEAD:     }
#+HTML_HEAD:     div#postamble {
#+HTML_HEAD:         margin-left: 5%;
#+HTML_HEAD:         max-width: 90%;
#+HTML_HEAD:     }
#+HTML_HEAD: }
#+HTML_HEAD: 
#+HTML_HEAD: @media print {
#+HTML_HEAD: 
#+HTML_HEAD:     body {
#+HTML_HEAD:         color: black;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     @page {
#+HTML_HEAD:         margin: 25mm;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     h2, h3 {
#+HTML_HEAD:         page-break-before: always;
#+HTML_HEAD:         margin-top: 0;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     table {
#+HTML_HEAD:         page-break-inside: avoid;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     a:visited {
#+HTML_HEAD:         color: black;
    #+HTML_HEAD:         background: #ff8;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     a[href^="http"]:visited {
#+HTML_HEAD:         background: #bff;
#+HTML_HEAD:     }
#+HTML_HEAD: 
#+HTML_HEAD:     div.notice:before {
#+HTML_HEAD:         display: none;
#+HTML_HEAD:     }
#+HTML_HEAD: }
#+HTML_HEAD: </style>