custom.css

@charset "UTF-8";
:root {
  --ls-font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, "Apple Color Emoji", Arial, sans-serif,
    "Segoe UI Emoji", "Segoe UI Symbol";
  --ls-tag-text-opacity: 0.6;
  --ls-tag-text-hover-opacity: 0.8;
  --ls-page-text-size: 1em;
  --ls-page-title-size: 36px;
}

.white-theme,
html[data-theme=light] {
  --ls-primary-background-color: #fff;
  --ls-search-background-color: #fff;
  --ls-secondary-background-color: #f8f8f8;
  --ls-tertiary-background-color: #f2f2f3;
  --ls-quaternary-background-color: #ebeaea;
  --ls-codeblock-background-color: #f7f6f3;
  --ls-table-tr-even-background-color: #f4f4f4;
  --ls-callout-background-color: rgba(235, 236, 237, 0.3);
  --ls-active-primary-color: rgb(64, 150, 213);
  --ls-active-secondary-color: rgb(46, 118, 170);
  --ls-block-properties-background-color: #f5f5f5;
  --ls-block-bullet-border-color: #dedede85;
  --ls-block-bullet-color: #00000018;
  --ls-guideline-color: rgba(62, 62, 63, 0.08);
  --ls-primary-text-color: #2b2926;
  --ls-title-text-color: #303537;
  --ls-link-text-color: rgb(234, 110, 110);
  --ls-link-text-hover-color: #e6515e;
  --ls-link-ref-text-color: #9c382c;
  --ls-link-ref-text-hover-color: #1a6cbf;
  --ls-alink-color: var(--ls-link-text-color);
  --ls-tag-text-color: white;
  --ls-tag-text-hover-color: white;
  --ls-tag-background-color: #2883df;
  --ls-tag-background-hover-color: #84bdf4;
  --ls-icon-color: #ada9a2;
  --ls-page-inline-code-bg-color: rgba(135, 131, 120, 0.15);
  --ls-page-blockquote-border-color: var(--ls-primary-text-color);
  --ls-page-checkbox-color: #8ebce6;
  --ls-page-checkbox-border-color: var(--ls-page-checkbox-color);
  --ls-page-properties-background-color: #adadad1c;
  --ls-scrollbar-foreground-color:#00000021;
  --ls-scrollbar-background-color: #fff0;
  --color-level-1: rgba(235, 236, 237, 0.3);
  --color-level-2: #f3f3f3;
  --color-level-3: #eaeaea;
  --color-level-4: #ddd;
  --ls-block-bullet-threading-width: 2px;
  --ls-block-bullet-active-color: #6ea7eead;
}


.white-theme .cp__header {
  color: var(--ls-primary-text-color);
}
.white-theme .cp__header a:hover {
  background-color: #f1f1f1;
}
.white-theme #left-bar nav > a,
.white-theme #left-bar svg {
  color: var(--ls-priamary-text-color);
}
.white-theme #left-bar #repo-name {
  opacity: 1;
  height: 22px;
  transform: translateY(-1px);
}

.white-theme .content .external-link {
  border-bottom: 0.05em solid rgba(55, 53, 47, 0.25);
}
.white-theme .content .marker-switch {
  color: #504d47;
  background: #f3f2ed;
  opacity: 1;
}
.white-theme .content .marker-switch:hover {
  opacity: 0.7;
}
.white-theme .content table th {
  background-color: #efefef;
}
.white-theme .cp__right-sidebar .sidebar-item-list {
  background-color: var(--ls-secondary-background-color, #d8e1e8);
}
.white-theme .cp__right-sidebar .sidebar-item-list .sidebar-item {
  background-color: var(--ls-secondary-background-color, #d8e1e8);
  border-bottom: 2px solid #e6e6e6;
}

.cp__sidebar-main-content {
  max-width: 100% !important;
}

#main-content-container .file {
  margin: 0 auto;
}

/*****************************************
  Tags
*****************************************/

a.tag[data-ref="Theorem" i] {
  background: #79cbbf !important;
  color: white !important;
  padding: 3px 7px;
  font-weight: 500;
  line-height: 2em;
}

div[data-refs-self*="Theorem" i] {
  background: #FDF8EE;
  border: 0.5px solid silver;
  border-color: #6F6C6C;
  border-radius: 10px;
  padding: 0.6em 0.4em 0.4em 0.4em;
  margin-bottom: 10px;
}

a.tag[data-ref="Definition" i] {
  background: #f9c866 !important;
  color: var(--ls-primary-text-color) !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}

a.tag[data-ref="Example" i] {
  background: #0dbac6 !important;
  color: #fff !important;
  padding: 3px 8px;
  line-height: 2em;
  font-weight: 500;
}

a.tag[data-ref="Proof" i] {
  background: #ee5f85 !important;
  color: white !important;
  padding: 3px 8px;
  line-height: 2em;
  font-weight: 500;
}

div[data-refs-self*="Proof" i] .ls-block {
  background: #FFDFE3;
}

a.tag[data-ref="Remark" i] {
  color: #9dbc13;
  padding: 3px 4px;
  font-weight: 700;
  line-height: 1.4em;
}

a.tag[data-ref="Corollary" i] {
  background: #9dbc13 !important;
  color: white !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}

a.tag[data-ref="Ideas" i] {
  background: #81d5ed !important;
  color: white !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}

a.tag[data-ref="Metadata" i] {
  background: #D70000 !important;
  color: white !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}


a.tag[data-ref="Parent" i] {
  background: #6766FF !important;
  color: white !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}


a.tag[data-ref="Child" i] {
  background: #6766FF !important;
  color: white !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}

a.tag[data-ref="Related" i] {
  background: #6766FF !important;
  color: white !important;
  padding: 3px 7px;
  line-height: 2em;
  font-weight: 500;
}


.cp__header a {
  color: var(--ls-primary-text-color);
}
.cp__header a:hover {
  cursor: pointer;
  transition: 0.3s;
}
.cp__header a svg {
  color: var(--ls-primary-text-color);
}
.cp__header .p-2 {
  padding: 0.25rem;
  margin: 0 0.25rem;
  border-radius: 3px;
}
.cp__header a[title="Go Back"] {
  padding: 0.15rem 0.15rem;
  margin: 0.35rem 0 0.35rem 0.35rem;
}
.cp__header a[title="Go Forward"] {
  padding: 0.15rem 0.15rem;
  margin: 0.35rem 0.35rem 0.35rem 0;
}
.cp__header #search.p-2 {
  padding: 0.5rem;
}
.cp__header .cp__header-logo,
.cp__header .cp__right-menu-button {
  padding: 0.15rem;
  margin: 0 0.35rem;
  border-radius: 3px;
}
.cp__header #search #search-wrapper {
  opacity: 0;
  transition: 0.3s;
}
.cp__header #search #search-wrapper:hover,
.cp__header #search #search-wrapper:focus-within {
  opacity: 1;
}
.cp__header #search #search-wrapper > div:first-child {
  left: 10px;
}
.cp__header #search #search > .inner {
  max-width: 100%;
  border-radius: 4px;
}
.cp__header #search #search_field:focus {
  background: var(--ls-search-background-color);
}
.cp__header #search #ui__ac-inner {
  margin-top: -10px;
  --tw-shadow: 0 10px 15px -3px rgba(0, 0, 0, 0.1), 0 4px 6px -2px rgba(0, 0, 0, 0.05);
  box-shadow: var(--tw-ring-offset-shadow, 0 0 #0000), var(--tw-ring-shadow, 0 0 #0000), var(--tw-shadow);
}
.cp__header .cp__sidebar-left-menu {
  margin-right: unset;
}

.cp__right-sidebar {
  transition-duration: 0.2s;
  transition-timing-function: cubic-bezier(0.37, 0.16, 0.16, 0.99);
}
.cp__right-sidebar .cp__right-sidebar-topbar {
  padding: 0;
  padding-right: 5px;
}
.cp__right-sidebar .cp__right-sidebar-topbar .cp__right-sidebar-settings {
  margin-left: 10px;
}
.cp__right-sidebar .cp__right-sidebar-topbar .cp__right-sidebar-settings .ml-4 {
  margin: 0.15rem 0;
}
.cp__right-sidebar .cp__right-sidebar-topbar .cp__right-sidebar-settings .cp__right-sidebar-settings-btn {
  padding: 2px 10px;
  border-radius: 6px;
  font-size: 14px;
  font-weight: 500;
  color: var(--ls-primary-text-color);
}
.cp__right-sidebar .cp__right-sidebar-topbar .cp__right-sidebar-settings .cp__right-sidebar-settings-btn:hover {
  background-color: var(--ls-quaternary-background-color);
}
.cp__right-sidebar .cp__right-sidebar-topbar a.button {
  background-color: var(--ls-secondary-background-color, #d8e1e8);
}
.cp__right-sidebar .cp__right-sidebar-topbar a.button:hover {
  background: var(--ls-tertiary-background-color);
}
.cp__right-sidebar .cp__right-sidebar-topbar a.toggle:hover {
  color: var(--ls-primary-text-color);
}
.cp__right-sidebar .sidebar-item-list .sidebar-item {
  margin: 5px;
  margin-bottom: 10px;
  --tw-shadow: unset;
  padding: 10px 8px 10px 4px;
  border: none;
}
.cp__right-sidebar .sidebar-item-list .sidebar-item .flex.flex-row.justify-between {
  padding-top: 0.15rem;
  padding-bottom: 0.45rem;
}
.cp__right-sidebar .sidebar-item-list .sidebar-item .flex.flex-row.justify-between .font-medium {
  font-size: 0.88em;
  font-weight: 500;
  text-transform: uppercase;
  opacity: 0.7;
  align-self: center;
}
.cp__right-sidebar .sidebar-item-list .sidebar-item .content {
  font-size: 0.95rem;
}
.cp__right-sidebar .sidebar-item-list .recent-pages {
  margin-left: 26px;
}

#left-bar #repo-name {
  max-width: 14ch;
  opacity: 1;
}
#left-bar a.nav-item:hover {
  background-color: var(--ls-table-tr-even-background-color);
}

#main-content #main-content-container {
  padding: 1rem 2.5rem !important;
}
#main-content #main-content-container .journal .flex-row.foldable-title {
  margin-left: 10px;
}
#main-content #main-content-container .journal .flex-row.foldable-title h1.title:before {
  content: "🗓";
  vertical-align: text-bottom;
  margin-right: 0.3em;
  font-size: 0.75em;
}
#main-content #main-content-container .cp__sidebar-main-content h1.title {
  font-weight: 700;
  font-size: 33px;
  margin-bottom: 1rem;
}

#journals > div > a {
  opacity: 0.3;
}

html ::-webkit-scrollbar {
  width: 8px;
  height: 8px;
}

html ::-webkit-scrollbar-thumb {
  background: var(--ls-block-bullet-color);
  background-clip: padding-box;
  border-left: 2px solid transparent;
  border-right: 2px solid transparent;
  cursor: pointer;
}

html ::-webkit-scrollbar-thumb:hover {
  background: var(--ls-scrollbar-foreground-color);
  border-radius: 4px;
  border: 4px solid transparent;
}

.content hr {
  margin: 0.1rem 0;
}
.content div[haschild=true] > div.flex-row {
  margin-bottom: 0.3rem;
}
.content .block-children {
  margin-bottom: 1em;
}
.content .block-properties {
  margin: 8px 0;
  padding: 10px 20px;
}
.content blockquote {
  background-color: unset;
}
.content .admonitionblock {
  padding: 16px 16px 16px 12px;
  background-color: var(--ls-callout-background-color);
  margin: unset;
}
.content .admonitionblock .text-lg {
  font-size: 0.9em;
  margin-left: 0;
  line-height: 1.35rem;
}
.content .admonitionblock .admonition-icon {
  padding-right: 0.65em;
  border: unset;
}
.content .admonitionblock .admonition-icon svg.svg-shadow {
  -webkit-filter: drop-shadow(1px 1px 2px rgba(0, 0, 0, 0.7));
  filter: drop-shadow(1px 1px 2px rgba(0, 0, 0, 0.1));
}
.content .admonitionblock .admonition-icon svg.h-8.w-8 {
  width: 1.7em;
  height: 1.7em;
}
.content .admonitionblock .admonition-icon svg.important {
  color: #c75252;
}
.content .admonitionblock .admonition-icon svg.caution {
  color: #e08d5c;
}
.content .admonitionblock .admonition-icon svg.tip {
  color: #edc987;
}
.content .admonitionblock .admonition-icon svg.note {
  color: var(--ls-secondary-text-color);
}
.content ul,
.content ol {
  margin-top: 5px;
  margin-bottom: 5px;
}
.content ul > li > p:first-child,
.content ol > li > p:first-child {
  display: inline;
}
.content h1,
.content h2,
.content h3,
.content h4,
.content h5 {
  margin-top: 0;
  margin-bottom: 0;
  border-bottom: 0;
}
.content .editor-inner textarea {
  margin: 0 0 !important;
}
.content .editor-inner textarea.h2, .content .editor-inner textarea.h1 {
  border-bottom: unset;
}
.content a.tag {
  padding: 0px 7px;
  border-radius: 3px;
}
.content a.tag:hover {
  background-color: var(--ls-tag-background-hover-color);
}
.content .block-ref {
  border-radius: 5px;
  color: #9DAFCA;
}
.content .form-checkbox {
  border-radius: 2px;
  z-index: 1;
  position: relative;
}
.content .marker-switch {
  opacity: 0.7;
  font-weight: 700;
  transition: 0.3s;
  margin-left: -0.5em;
  margin-right: 5px;
  padding: 0 8px 0 6px;
  border-radius: 0 5px 5px 0;
}
.content :not(pre) > code {
  border-radius: 3px;
  font-size: 85%;
  font-family: MonoLisa, "Fira Code", Monaco, Menlo, Consolas, "COURIER NEW", monospace;
  padding: 0.2em 0.4em !important;
  color: #eb5757;
}
.content .custom-query .overflow-x-auto {
  cursor: default;
}
.content .custom-query .overflow-x-auto table th {
  font-weight: bold;
  text-transform: capitalize;
  padding-left: 1em;
  border-bottom: 0px;
}
.content .custom-query .overflow-x-auto table th a span {
  color: var(--ls-primary-text-color);
}
.content .custom-query .overflow-x-auto table tr td {
  font-size: 0.95em;
  padding: 0.5em 0.3em 0.5em 0.9em;
}
.content .block-content.inline .inline .embed-header div.mr-3 {
  margin-right: 0.25rem;
}
.content .page-reference:hover {
  background-color: var(--ls-tertiary-background-color);
}

.document-mode .ls-block {
  margin-bottom: 0.35rem;
}
.document-mode .ls-block h1 {
  margin: 0.1em 0;
}
.document-mode .ls-block h2 {
  margin: 0.15em 0;
}
.document-mode .ls-block h3 {
  margin: 0.35em 0;
}
.document-mode .ls-block h4 {
  margin: 0.5em 0;
}
.document-mode .ls-block h5 {
  margin: 0.55em 0;
}
.document-mode .ls-block h6 {
  margin: 0.65em 0;
}

svg.add-button > .circle {
  transition: 0.2s;
  fill: var(--ls-block-bullet-color);
}

.tippy-popper,
.tippy-popper .html-template,
.tippy-wrapper {
  max-height: 45vh !important;
  max-width: min(90vw, 600px) !important;
  perspective: min(90vw, 600px) !important;
  -webkit-perspective: min(90vw, 600px) !important;
}

.panel-content .cp__palette-main {
  width: unset;
}
.panel-content .cp__palette-main .search-results-wrap {
  min-height: 62vh;
}

.ui__ac .ui__ac-group-name {
  font-weight: bolder;
}

.cm-s-solarized,
.cm-s-solarized.cm-s-dark {
  background-color: var(--ls-codeblock-background-color);
  text-shadow: unset;
}
.cm-s-solarized.CodeMirror,
.cm-s-solarized.cm-s-dark.CodeMirror {
  -moz-box-shadow: unset;
  -webkit-box-shadow: unset;
  box-shadow: unset;
}
.cm-s-solarized .CodeMirror-gutters,
.cm-s-solarized.cm-s-dark .CodeMirror-gutters {
  background-color: var(--ls-codeblock-background-color);
}
.cm-s-solarized .CodeMirror-linenumber,
.cm-s-solarized.cm-s-dark .CodeMirror-linenumber {
  text-shadow: unset;
}

/* theme general */
.extensions__code .extensions__code-lang {
  background-color: var(--ls-codeblock-background-color);
  margin-right: 5px;
}
.extensions__code textarea {
  color: var(--ls-primary-text-color);
  background-color: var(--ls-codeblock-background-color);
}
.extensions__code .CodeMirror {
  color: var(--ls-secondary-text-color);
  font-family: SFMono-Regular, Consolas, "Liberation Mono", Menlo, Courier, monospace;
  margin-top: 10px;
  margin-bottom: 10px;
  padding: 25px 10px 24px 20px;
}
.extensions__code .CodeMirror .CodeMirror-gutters {
  background-color: var(--ls-codeblock-background-color);
}
.extensions__code .CodeMirror .CodeMirror-scroll .CodeMirror-sizer .CodeMirror-lines .CodeMirror-cursors .CodeMirror-cursor {
  border-left: solid thin #82aaff;
}
.extensions__code .CodeMirror .CodeMirror-scroll .CodeMirror-sizer .CodeMirror-lines .CodeMirror-code {
  outline: 0;
  font-size: 0.85em;
}

.white-theme .cp__right-sidebar .CodeMirror,
.white-theme .cp__right-sidebar .CodeMirror-gutters,
.white-theme .cp__right-sidebar .extensions__code-lang {
  background-color: rgba(242, 241, 238, 0.95);
}

/* Rewrite .cm-s-solarized */
.cm-s-solarized .CodeMirror-activeline-background {
  background: rgba(255, 255, 255, 0.1);
}
.cm-s-solarized.cm-s-dark div.CodeMirror-selected {
  background-color: rgba(255, 255, 255, 0.1);
}
.cm-s-solarized .CodeMirror-matchingbracket {
  text-decoration: underline;
  color: #5bdfdf !important;
}
.cm-s-solarized span.cm-comment {
  color: #a0a0a0;
}
.cm-s-solarized span.cm-string,
.cm-s-solarized span.cm-string-2 {
  color: #e6c963;
}
.cm-s-solarized span.cm-number {
  color: #978ade;
}
.cm-s-solarized span.cm-variable {
  color: #82aaff;
}
.cm-s-solarized span.cm-variable-2 {
  color: rgba(255, 255, 255, 0.7);
}
.cm-s-solarized span.cm-def {
  color: var(--ls-secondary-text-color);
}
.cm-s-solarized span.cm-operator {
  color: #f15f60;
}
.cm-s-solarized span.cm-keyword {
  color: #f15f60;
}
.cm-s-solarized span.cm-atom {
  color: #978ade;
}
.cm-s-solarized span.cm-meta {
  color: white;
}
.cm-s-solarized span.cm-tag {
  color: #f07178;
}
.cm-s-solarized span.cm-attribute {
  color: #c792ea;
}
.cm-s-solarized span.cm-qualifier {
  color: #41b394;
}
.cm-s-solarized span.cm-property {
  color: #9bd174;
}
.cm-s-solarized span.cm-builtin {
  color: #45add6;
}
.cm-s-solarized span.cm-variable-3,
.cm-s-solarized span.cm-type {
  color: orange;
}

.white-theme .cm-s-solarized .CodeMirror-selected {
  background-color: rgba(168, 175, 255, 0.2);
}
.white-theme .cm-s-solarized span.cm-string,
.white-theme .cm-s-solarized span.cm-string-2 {
  color: orange;
}
.white-theme .cm-s-solarized span.cm-variable-2 {
  color: rgba(0, 0, 0, 0.7);
}
.white-theme .cm-s-solarized span.cm-def {
  color: var(--ls-secondary-text-color);
}
.white-theme .cm-s-solarized span.cm-meta {
  color: var(--ls-secondary-text-color);
}

/* Old Version */
.white-theme .cm-s-default.CodeMirror,
.white-theme .cm-s-default .CodeMirror-gutters {
  color: black !important;
  border: none;
}

.cm-s-default .CodeMirror-cursor {
  border-left: solid thin white;
}

.white-theme .cm-s-default .CodeMirror-cursor {
  border-left: solid thin black;
}

.cm-s-default .CodeMirror-selected {
  background: rgba(255, 255, 255, 0.1);
}

.white-theme .cm-s-default .CodeMirror-selected {
  background: rgba(0, 0, 0, 0.1);
}

.cm-s-default .CodeMirror-line {
  box-shadow: none;
}

.cm-s-default .CodeMirror-line::selection,
.cm-s-default .CodeMirror-line > span::selection,
.cm-s-default .CodeMirror-line > span > span::selection {
  background: rgba(255, 255, 255, 0.1);
}

.cm-s-default .CodeMirror-line::-moz-selection,
.cm-s-default .CodeMirror-line > span::-moz-selection,
.cm-s-default .CodeMirror-line > span > span::-moz-selection {
  background: rgba(255, 255, 255, 0.1);
}

.cm-s-default span.cm-comment {
  color: #a0a0a0;
}

.cm-s-default span.cm-string,
.cm-s-default span.cm-string-2 {
  color: #e6c963;
}

.white-theme .cm-s-default span.cm-string,
.white-theme .cm-s-default span.cm-string-2 {
  color: orange;
}

.cm-s-default span.cm-number {
  color: #978ade;
}

.cm-s-default span.cm-variable {
  color: #82aaff;
}

.cm-s-default span.cm-variable-2 {
  color: rgba(255, 255, 255, 0.7);
}

.white-theme .cm-s-default span.cm-variable-2 {
  color: rgba(0, 0, 0, 0.7);
}

.cm-s-default span.cm-def {
  color: #fff;
}

.white-theme .cm-s-default span.cm-def {
  color: black;
}

.cm-s-default span.cm-operator {
  color: #f15f60;
}

.cm-s-default span.cm-keyword {
  color: #f15f60;
}

.cm-s-default span.cm-atom {
  color: #978ade;
}

.cm-s-default span.cm-meta {
  color: white;
}

.white-theme .cm-s-default span.cm-meta {
  color: black;
}

.cm-s-default span.cm-tag {
  color: #f07178;
}

.cm-s-default span.cm-attribute {
  color: #c792ea;
}

.cm-s-default span.cm-qualifier {
  color: #41b394;
}

.cm-s-default span.cm-property {
  color: #9bd174;
}

.cm-s-default span.cm-builtin {
  color: #45add6;
}

.cm-s-default span.cm-variable-3,
.cm-s-default span.cm-type {
  color: orange;
}

.cm-s-default .CodeMirror-activeline-background {
  background: rgba(255, 255, 255, 0.1);
}

.cm-s-default .CodeMirror-matchingbracket {
  text-decoration: underline;
  color: #5bdfdf !important;
}

#right-sidebar pre.CodeMirror-line {
  background: transparent;
}