homepage/src/include/mathstyles.css

/*
  @licstart The following is the entire license notice for the CSS code 
  in this page.

  Copyright (C) 2015-2018  Emilia Blåsten emily@countermail.com

  This program is free software: you can redistribute it and/or modify
  it under the terms of the GNU Affero General Public License as
  published by the Free Software Foundation, either version 3 of the
  License, or (at your option) any later version.

  This program is distributed in the hope that it will be useful,
  but WITHOUT ANY WARRANTY; without even the implied warranty of
  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  GNU Affero General Public License for more details.

  You should have received a copy of the GNU Affero General Public License
  along with this program.  If not, see <http://www.gnu.org/licenses/>.

  @licend The above is the entire license notice for the CSS code in 
  this page.

  Contributions are welcome: https://notabug.org/emily/Lettus-CSS-MathJax
*/


/*
  Latin Modern font
*/
@font-face {
  font-family: "LModern";
  src: url("fonts/lmroman10-bold-webfont.woff");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "LModern";
  src: url("fonts/lmroman10-bolditalic-webfont.woff");
  font-weight: bold;
  font-style: italic;
}
@font-face {
  font-family: "LModern";
  src: url("fonts/lmroman10-italic-webfont.woff");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "LModern";
  src: url("fonts/lmroman10-regular-webfont.woff");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "LModern";
  src: url("fonts/lmromanslant10-bold-webfont.woff");
  font-weight: bold;
  font-style: oblique;
}
@font-face {
  font-family: "LModern";
  src: url("fonts/lmromanslant10-regular-webfont.woff");
  font-weight: normal;
  font-style: oblique;
}
@font-face {
  font-family: "LModern-SC";
  src: url("fonts/lmromancaps10-oblique-webfont.woff");
  font-weight: normal;
  font-style: oblique;
}
@font-face {
  font-family: "LModern-SC";
  src: url("fonts/lmromancaps10-regular-webfont.woff");
  font-weight: normal;
  font-style: normal;
}


/*
  STIX-Web Main font
*/
/* Check http://www.metaltoad.com/blog/how-use-font-face-avoid-faux-italic-and-bold-browser-styles for more info */
@font-face {
  font-family: "STIX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-Regular.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-Regular.woff?rev=2.6.0") format("woff");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "STIX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-Bold.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-Bold.woff?rev=2.6.0") format("woff");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "STIX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-Italic.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-Italic.woff?rev=2.6.0") format("woff");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "STIX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-BoldItalic.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Main-BoldItalic.woff?rev=2.6.0") format("woff");
  font-weight: bold;
  font-style: italic;
} 

/* 
  STIX-Web for latin (accent) characters
*/
@font-face {
  font-family: "STIX-Latin";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-Regular.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-Regular.woff?rev=2.6.0") format("woff");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "STIX-Latin";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-Italic.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-Italic.woff?rev=2.6.0") format("woff");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "STIX-Latin";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-Bold.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-Bold.woff?rev=2.6.0") format("woff");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "STIX-Latin";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-BoldItalic.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/STIX-Web/woff/STIXMathJax_Latin-BoldItalic.woff?rev=2.6.0") format("woff");
  font-weight: bold;
  font-style: italic;
}


/* 
  MathJax TeX font for non-accented characters
*/
@font-face {
  font-family: "TeX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/TeX/woff/MathJax_Main-Regular.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/TeX/woff/MathJax_Main-Regular.woff?rev=2.6.0") format("woff");
  font-weight: normal;
  font-style: normal;
}
@font-face {
  font-family: "TeX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/TeX/woff/MathJax_Main-Italic.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/TeX/woff/MathJax_Main-Italic.woff?rev=2.6.0") format("woff");
  font-weight: normal;
  font-style: italic;
}
@font-face {
  font-family: "TeX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/TeX/woff/MathJax_Main-Bold.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/TeX/woff/MathJax_Main-Bold.woff?rev=2.6.0") format("woff");
  font-weight: bold;
  font-style: normal;
}
@font-face {
  font-family: "TeX-Main";
  src: url("https://cdn.mathjax.org/mathjax/2.6-latest/fonts/HTML-CSS/TeX/woff/MathJax_Math-BoldItalic.woff?rev=2.6.0") format("woff");
//  src: url("/MathJax/fonts/HTML-CSS/TeX/woff/MathJax_Math-BoldItalic.woff?rev=2.6.0") format("woff");
  font-weight: bold;
  font-style: italic;
}



/*
  Main text / margin / body appearance
*/
.content {
  /* Position the content in the middle, at most 37em wide.
     For actual minimum margins, use padding in the container  */
  margin: 2em auto;
  max-width: 37em;

  /* Font */
//  font-family: "STIX-Main", "STIX-Latin", serif;
//  font-family: "TeX-Main", "STIX-Latin", serif;
  font-family: "LModern", serif;
  font-size: 100%;
  /* Check "Use a Combination of Percent and Em" from http://www.w3schools.com/css/css_font.asp */

  /* Black text on white background */
  background: white;
  color: black;

  /* Hyphenation */
  -webkit-hyphens: auto;
  -moz-hyphens: auto;
  -ms-hyphens: auto;
  hyphens: auto;

  /* Justify the text on the right margin */
  text-align:justify;

  /* Line spacing */
  line-height: 1.2;
}

.footnotes {
  margin: 3em auto auto auto;
  border-top: 1px solid black;
  font-size: 80%;
}
.footnotes p {
  text-indent: 0em;
}

/*
  LINKS
*/
a {
  /* Prevent browser link colouring */
  color: inherit;
  text-decoration: inherit;
}
a:link {
  border-bottom: 1px solid lightsalmon;
}
a:visited {
  border-bottom: lightgray;
}
/* Do not change the border-bottom for links to own document */
a[href^="#"] {
  border-bottom: inherit;
}


/*
  LIST ETC
*/
dt + dt, dd + dt {
  margin-top: 0.5em;
}

/*
  Print styling: don't break tables, quotes or pre-formatted,
  or after headings. Set html margin to 0, use page margin.
  
  THIS SECTION SHOULD BE WRITTEN AFTER ANY ITEM REDEFINED BELOW:
*/
@media print {
  table, blockquote, pre, img, figure {
    page-break-inside: avoid;
  }
  h1, h2, h3, h4, h5, h6 {
    page-break-after: avoid;
  }
  /* don't print focusHere */
  #focusHere::before {
    display:none;
  }
  /* prevent pictures or others from exceeding the page */
  * {max-width: 100%;}
  body {
    margin:0;
  }
  @page {
    margin: 8.5em;
    margin-top: auto;
    margin-bottom: auto;
  }
  a:link {
    border-bottom: inherit;
  }
  a:visited {
    border-bottom: inherit;
  }
}

h1 {
  font-size: 1.6em;
  font-weight: normal;
}
h2 {
  font-size: 1.45em;
  font-weight: bold;
}
h3 {
  font-size: 1.2em;
  font-weight: bold;
}
h4 {
  font-size: 1.0em;
  font-weight: bold;
}

/*
  Indent all paragraphs except first ones in a succession
  and make first one in a proof, thm, etc. inline style.
*/
p {
  margin: 0;
  text-indent: 0em;
}
p + p, p + #focusHere + p {
  text-indent: 2em;
}
span.theorem + p,      span.theorem + #focusHere + p,
span.lemma + p,        span.lemma + #focusHere + p,
span.corollary + p,    span.corollary + #focusHere + p,
span.proposition + p,  span.proposition + #focusHere + p,
span.conjecture + p,   span.conjecture + #focusHere + p,
span.definition + p,   span.definition + #focusHere + p,
span.remark + p,       span.remark + #focusHere + p,
span.motivation + p,   span.motivation + #focusHere + p,
span.proof + p,        span.proof + #focusHere + p {
  display: inline;
}

/*
  Math environments like theorem, lemma, proof etc...
*/

div.theorem, div.lemma, div.corollary, div.proposition, div.conjecture {
  display: block;
  margin: 0.75em 0;
  font-style: italic;
}

div.proof, div.definition, div.remark, div.motivation {
  display: block;
  margin: 0.75em 0;
  font-style: normal;
}

div.proof::after {
  content: "\25FC";
  display: block;
  text-align: right;
}

/*
  The little text saying "Theorem 2. ", "Conjecture 3. ", "Remark 7. "
*/
span.theorem, span.lemma, span.corollary, span.proposition, 
span.conjecture, span.definition {
  font-weight: bold;
  font-style: normal;
}

span.remark, span.proof, span.motivation {
  font-weight: normal;
  font-style: italic;
}

span.theoremName {
  font-weight: normal;
  font-style: normal;
}

/*
  MathJax Typesetting background
*/
#MJloading {
  position: fixed;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%) rotate(-30deg);
  
  z-index: -1;
  overflow: visible;
  font-size: 3em;
  font-weight: bold;
  text-align: center;
  color: LightGray;
}

/*
  focusHere styling
*/
#focusHere::before {
  content: "";
  display: inline-block;
  position: absolute;
  left: 0;
  width: 1em;
  height: 1em;
  border-radius: 0.5em;
  background: lightsalmon;
}

/*
  reference list styling
*/
ul.referenceList {
  list-style-type: none;
}
/* reference [x] styling */
.ref-nbr {}
/* reference parts styling (author, title, etc.) */
.ref-authors {font-family: "LModern-SC";}
.ref-title {font-style: italic;}
.ref-journal {}
.ref-volume {}
.ref-issue {font-weight: bold;}
.ref-year {}
.ref-pages {}


/*
  animated span
*/
#anim1 {
  color: lightsalmon;
  display: inline-block;
  animation-name: rotator;
  animation-duration: 3s;
  animation-timing-function: linear;
  animation-iteration-count: infinite;
}
@keyframes rotator {
  from {transform: rotate(0deg);}
  to   {transform: rotate(360deg);}
}