@import "layout.css";
@import "onecol.css";
@import "twocol.css" screen and (min-width: 886px);
@import "nav_side.css";
@import "nav_bottom.css" screen and (min-width: 886px);

html {
    font-size: 18px;
    font-family: "Cardo",serif;
    /* font-size: 14px; */
    /* font-family: "Verdana"; */
}

body {
    color: white;
}

pre, code, kbd, samp, tt{
  font-family: "Courier New",monospace;
  font-size: .8rem;
}

/*
#page, #sidebar {
    color: #111111;
    background-color: #fffff8;
}
*/


/*** debugging ***/

/*
body {
    background-image: none;
    background-color: blue;
}
#header {
    background-color: green;
}
#page {
    background-color: magenta;
}
#navbar {
    background-color: red;
}
#footer {
    background-color: green;
}


#main-col {
    background-color: yellow;
}
#sidebar {
    background-color: red;
}
.footdef {
    background-color: green;
}
#main-col p {
    background-color: green;
}
*/


/*** general style ***/

.content p {
    margin: 0;
    padding-bottom: 1em;
}


/* links */
a {
    color: #009;
    background: none;
    text-decoration: none;
}

a:visited {
    /* color: #591E8F; */
    color: #666;
}

a:hover {
    text-decoration: underline;
}

h1 a {
    color: black
}

h1 a:hover {
    color: black;
}

h1 a:visited {
    color: black;
}


/* lists */
.content ul, ol {
    line-height: 1.5;
    list-style-position: outside;
    padding-left: 1rem;
    padding-bottom: 1rem;
}

.content dl {
    line-height: 1.5;
    padding-bottom: 1rem;
}

.content dt {
    padding-top: 1rem;
    font-weight: bold;
}

.content dd {
    padding-left: 1rem;
}

.content ol li {
    padding-bottom: 1rem;
}

.content ol li p:last-child, .content ol li:last-child {
    padding: 0;
    margin: 0;
}


/* images */

img {
    border: none;
}

.figure {
    position: relative;
}

.figure p {
    margin: 0;
    padding: 0;
}

.figure p+p {
    font-size: .7rem;
    position: absolute;
    bottom: .5rem;
    right: 0px;
    color: white;
    background-color: #00000088
}

.figure p+p a {
    color: white;
}

.figure-number {
    display: none;
}


/*** main content ***/

/* title */
.content h1 {
    font-size: 1.8rem;
    font-weight: bold;
    line-height: 1;
    text-align: center;
    padding: 1rem 0 2rem;
}


/* timestamp */
h1 + div > p:first-of-type > .timestamp-wrapper:first-of-type {
    display: block;
    text-align: center;
    color: grey;
    padding-top: .5em;
    /* nudge up into h1 paddng */
    position: relative;
    top: -2rem;
}


/* section titles */
.content h2 {
    font-size: 1.4rem;
    font-weight: normal;
    text-align: left;
    padding: 2rem 0 .5rem;
}

.content h3 {
    font-size: 1rem;
    font-weight: bold;
    text-align: left;
    padding: 1rem 0 0;
}


/* footnotes */

/*
#footnotes {
    font-size: .8rem;
    padding-top: 2em;
}
*/

.footdef {
    font-size: .8rem;
    font-weight: normal;
}


/* figures */

.content img {
    width: 100%;
}


/* theorems etc. */
.content .theorem, .content .lemma, .content .definition, .content .conjecture {
    display: block;
}

.content .theorem p, .content .lemma p, .content .definition p, .content .conjecture p {
    font-style: italic;

}  


.content .theorem:before {
    content: "Theorem";
    font-weight: bold;
    font-style: normal;
}

.content .lemma:before {
    content: "Lemma";
    font-weight: bold;
    font-style: normal;
}

.content .definition:before {
    content: "Definition";
    font-weight: bold;
    font-style: normal;
}

.content .conjecture:before {
    content: "Conjecture";
    font-weight: bold;
    font-style: normal;
}


.content .proof {
    display: block;
    font-style: normal;
}

.content .proof p {
    display: inline;
}

.content .proof:before {
    content: "Proof";
    font-weight: bold;
    font-style: normal;
}

.content .proof:after {
    content: "\25FB";
    float: right;  
}


/* code blocks */

.org-src-container {
    font-size: .8rem;
    padding: 0rem;
    overflow-x: hidden;
    padding-bottom: 12px; /* Increase/decrease this value for cross-browser compatibility */
    box-sizing: content-box;
}

.org-src-container:hover {
    overflow-x: auto;
    padding-bottom: 0px;
}

.org-src-container + p {
    padding-top: 12px;
}


/* "tip" blocks */
.content .tip {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background: lightgrey;
    margin-bottom: 1em;
}

.content .tip:before {
    content: "Tip:";
    font-weight: bold;
    font-style: normal;
}


/* "alert" boxes */
.content .alert {
    border-style: solid;
    border-width: 1px;
    border-color: black;
    background: red;
    margin-bottom: 1em;
}


/* publication list */
.publications li {
    margin-left: 0.5rem;
    margin-bottom: 1rem;
}


.content li {
    text-align: left;
}

.content blockquote {
    text-align: left;
    padding: 0 10% 1rem;
}

.content code {
    font-weight: normal;
    font-family: Courier, monospace;
}

.content dt {
    text-align: left;
}



/*** comments ***/

.comments {
    counter-reset: comment;
    /* border-bottom-style: solid; */
    /* border-width: 1px; */
    /* border-color: grey; */
}

.comments h1 {
    padding-top: 2rem;
}

.comments h2 {
    counter-increment: comment;
    font-size: 1.2rem;
    /* divider line */
    margin-top: 1rem;
    padding-top: 1rem;
    border-top-style: solid;
    border-width: 1px;
    border-color: grey;
}

.comments .outline-text-1+.outline-2>h2 {
    /* no divider line */
    margin: 0;
    border: none;
}

.comments h2:before {
    content: "#" counter(comment) " ";
    color: grey;
}

.comments .timestamp {
    display: block;
    text-align: left;
    font-size: small;
    color: grey;
}



/*** comment form ***/

.comment-form h2 {
    /* divider line */
    margin-top: 1rem;
    padding-top: 1rem;
    border-top-style: solid;
    border-width: 1px;
    border-color: grey;
}

.comment-form form {
    text-align: left;
}

.comment-form input, .comment-form textarea {
    border: solid 1px grey;
}

.comment-form label {
    font-size: 0.8rem;
    color: grey;
}

/* honeypot */
.comment-form input[name="url"] {
    display: none;
}



/*** sidebar ***/

#sidebar {
    /* font-family: "Verdana"; */
}

#sidebar h1 {
    font-size: 1rem;
    font-weight: bold;
    text-align: left;
    margin-top: 1rem;
}

#sidebar ul {
    font-size: .8rem;
}

#sidebar .timestamp {
    display: block;
    text-align: left;
    font-size: small;
    color: grey;
}


/*** TeX and LaTeX ***/

.tex sub, .latex sub, .latex sup {
  text-transform: uppercase;
}

.tex sub, .latex sub {
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
}

.tex, .latex, .tex sub, .latex sub {
  font-size: 1em;
}

.latex sup {
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}


/*** copyright line ***/

.content:after {
    content: "Generated using GNU Emacs and org-mode. \2002  Copyright \00a9  2004-2023 Toby Cubitt";
    font-size: 0.7rem;
    font-weight: normal;
    width: 100%;
    left: 3rem;
}