summaryrefslogtreecommitdiffstats
path: root/docs/ @media only all and (prefers-color-scheme: dark) { .highlight .hll { background-color: #49483e } .highlight .c { color: #75715e } /* Comment */ .highlight .err { color: #960050; background-color: #1e0010 } /* Error */ .highlight .k { color: #66d9ef } /* Keyword */ .highlight .l { color: #ae81ff } /* Literal */ .highlight .n { color: #f8f8f2 } /* Name */ .highlight .o { color: #f92672 } /* Operator */ .highlight .p { color: #f8f8f2 } /* Punctuation */ .highlight .ch { color: #75715e } /* Comment.Hashbang */ .highlight .cm { color: #75715e } /* Comment.Multiline */ .highlight .cp { color: #75715e } /* Comment.2017-04-26Update git submodulesBlaisonneau David1-0/+0 2017-04-26Update git submodulesnarindergupta1-0/+0 2017-04-26Update git submodulesNarinder Gupta1-0/+0 2017-04-25Update git submodulesNarinder Gupta1-0/+0 2017-04-20Update git submodulesNarinder Gupta1-0/+0 2017-04-20Update git submodulesGuo Ruijing1-0/+0 2017-04-18Update git submodulesNarinder Gupta1-0/+0 2017-04-06Update git submodulesNarinder Gupta1-0/+0 2017-04-06Update git submodulesBlaisonneau David1-0/+0 2017-03-30Update git submodulesNarinder Gupta1-0/+0 2017-03-28Update git submodulesSofia Wallin1-0/+0 2017-03-24Update git submodulesNarinder Gupta1-0/+0 2017-03-23Updating HEAD's of submodulesShubhamRathi1-0/+0 2017-03-15Updating submodules & add openretrieverShubhamRathi1-0/+0 2017-01-11Add submodules and .gitmoduleShubhamRathi1-0/+0