theme.css

@charset "UTF-8";
/*!
 * Marp / Marpit Haskell theme.
 *
 * @theme haskell
 * @author MATSUBARA Nobutada
 */
@import url("https://fonts.googleapis.com/css?family=Lato:400,900|Roboto+Mono:400,700");
@import url("https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.15.8/styles/github.min.css");
svg[data-marp-fitting='svg'] {
  max-height: 580px; }

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0.5em 0 0 0; }
  h1 strong,
  h2 strong,
  h3 strong,
  h4 strong,
  h5 strong,
  h6 strong {
    font-weight: inherit; }

h1 {
  font-size: 1.8em; }

h2 {
  font-size: 1.5em; }

h3 {
  font-size: 1.3em; }

h4 {
  font-size: 1.1em; }

h5 {
  font-size: 1em; }

h6 {
  font-size: 0.9em; }

p,
blockquote {
  margin: 1em 0 0 0; }

ul > li,
ol > li {
  margin: 0.3em 0 0 0; }
  ul > li > p,
  ol > li > p {
    margin: 0.6em 0 0 0; }

code {
  display: inline-block;
  font-family: 'NasuM', 'Roboto Mono', monospace;
  font-size: 0.8em;
  letter-spacing: 0;
  margin: -0.1em 0.15em;
  padding: 0.1em 0.2em;
  vertical-align: baseline; }

pre {
  display: block;
  margin: 1em 0 0 0;
  min-height: 1em;
  overflow: visible; }
  pre code {
    box-sizing: border-box;
    margin: 0;
    min-width: 100%;
    padding: 0.5em;
    font-size: 0.7em; }
    pre code svg[data-marp-fitting='svg'] {
      max-height: calc(580px - 1em); }

blockquote {
  margin: 1em 0 0 0;
  padding: 0 1em;
  position: relative; }
  blockquote::after, blockquote::before {
    content: '“';
    display: block;
    font-family: 'Times New Roman', serif;
    font-weight: bold;
    position: absolute; }
  blockquote::before {
    top: 0;
    left: 0; }
  blockquote::after {
    right: 0;
    bottom: 0;
    transform: rotate(180deg); }
  blockquote > *:first-child {
    margin-top: 0; }

mark {
  background: transparent; }

table {
  border-spacing: 0;
  border-collapse: collapse;
  margin: 1em 0 0 0; }
  table th,
  table td {
    padding: 0.2em 0.4em;
    border-width: 1px;
    border-style: solid; }

section {
  background-image: linear-gradient(135deg, rgba(136, 136, 136, 0), rgba(136, 136, 136, 0.02) 50%, rgba(255, 255, 255, 0) 50%, rgba(255, 255, 255, 0.05));
  font-size: 28px;
  font-family: '源真ゴシック', 'ヒラギノ角ゴ Pro W3', 'Lato', 'Avenir Next', 'Avenir', 'Trebuchet MS', 'Segoe UI', sans-serif;
  line-height: 1.35;
  letter-spacing: 1.25px;
  padding: 70px;
  width: 960px;
  height: 720px;
  color: #323232;
  background-color: #FFFFFF;
  background: ""; }
  section > *:first-child,
  section > header:first-child + * {
    margin-top: 0; }
  section a,
  section mark {
    color: #5d4f85; }
  section code {
    background: rgba(0, 0, 0, 0.1);
    color: #323232; }
  section h1 strong,
  section h2 strong,
  section h3 strong,
  section h4 strong,
  section h5 strong,
  section h6 strong {
    color: #5d4f85; }
  section h1 img,
  section h2 img,
  section h3 img,
  section h4 img,
  section h5 img,
  section h6 img {
    display: block;
    margin: auto; }
  section pre > code {
    background: rgba(0, 0, 0, 0.1);
    color: #323232; }
  section header,
  section footer,
  section section::after,
  section blockquote::before,
  section blockquote::after {
    color: #5b5b5b; }
  section table th,
  section table td {
    border-color: #323232; }
  section table thead th {
    background: #323232;
    color: #FFFFFF; }
  section table tbody > tr:nth-child(odd) td,
  section table tbody > tr:nth-child(odd) th {
    background: rgba(50, 50, 50, 0.1); }
  section.invert {
    color: #FFFFFF;
    background-color: #323232;
    background: ""; }
    section.invert a,
    section.invert mark {
      color: #DB83ED; }
    section.invert code {
      background: rgba(0, 0, 0, 0.3);
      color: #FFFFFF; }
    section.invert h1 strong,
    section.invert h2 strong,
    section.invert h3 strong,
    section.invert h4 strong,
    section.invert h5 strong,
    section.invert h6 strong {
      color: #DB83ED; }
    section.invert h1 img,
    section.invert h2 img,
    section.invert h3 img,
    section.invert h4 img,
    section.invert h5 img,
    section.invert h6 img {
      display: block;
      margin: auto; }
    section.invert pre > code {
      background: rgba(0, 0, 0, 0.3);
      color: #FFFFFF; }
    section.invert header,
    section.invert footer,
    section.invert section::after,
    section.invert blockquote::before,
    section.invert blockquote::after {
      color: #d6d6d6; }
    section.invert table th,
    section.invert table td {
      border-color: #FFFFFF; }
    section.invert table thead th {
      background: #FFFFFF;
      color: #323232; }
    section.invert table tbody > tr:nth-child(odd) td,
    section.invert table tbody > tr:nth-child(odd) th {
      background: rgba(255, 255, 255, 0.1); }
  section.haskell {
    color: #FFFFFF;
    background-color: #5d4f85;
    background: url("https://raw.githubusercontent.com/haskell-infra/hl/master/static/img/pattern.png"); }
    section.haskell a,
    section.haskell mark {
      color: #DB83ED; }
    section.haskell code {
      background: rgba(235, 228, 243, 0.25);
      color: #FFFFFF; }
    section.haskell h1 strong,
    section.haskell h2 strong,
    section.haskell h3 strong,
    section.haskell h4 strong,
    section.haskell h5 strong,
    section.haskell h6 strong {
      color: #DB83ED; }
    section.haskell h1 img,
    section.haskell h2 img,
    section.haskell h3 img,
    section.haskell h4 img,
    section.haskell h5 img,
    section.haskell h6 img {
      display: block;
      margin: auto; }
    section.haskell pre > code {
      background: rgba(235, 228, 243, 0.25);
      color: #FFFFFF; }
    section.haskell header,
    section.haskell footer,
    section.haskell section::after,
    section.haskell blockquote::before,
    section.haskell blockquote::after {
      color: #dfdce7; }
    section.haskell table th,
    section.haskell table td {
      border-color: #FFFFFF; }
    section.haskell table thead th {
      background: #FFFFFF;
      color: #5d4f85; }
    section.haskell table tbody > tr:nth-child(odd) td,
    section.haskell table tbody > tr:nth-child(odd) th {
      background: rgba(255, 255, 255, 0.1); }
  section.lead {
    display: flex;
    flex-direction: column;
    flex-wrap: nowrap;
    justify-content: center; }
    section.lead h1,
    section.lead h2,
    section.lead h3,
    section.lead h4,
    section.lead h5,
    section.lead h6 {
      text-align: center; }
      section.lead h1 svg[data-marp-fitting='svg'],
      section.lead h2 svg[data-marp-fitting='svg'],
      section.lead h3 svg[data-marp-fitting='svg'],
      section.lead h4 svg[data-marp-fitting='svg'],
      section.lead h5 svg[data-marp-fitting='svg'],
      section.lead h6 svg[data-marp-fitting='svg'] {
        --preserve-aspect-ratio: xMidYMid meet; }
    section.lead p {
      text-align: center; }
    section.lead blockquote > h1,
    section.lead blockquote > h2,
    section.lead blockquote > h3,
    section.lead blockquote > h4,
    section.lead blockquote > h5,
    section.lead blockquote > h6,
    section.lead blockquote > p {
      text-align: left; }
    section.lead blockquote svg[data-marp-fitting='svg']:not([data-marp-fitting-math]) {
      --preserve-aspect-ratio: xMinYMin meet; }
    section.lead ul > li > p,
    section.lead ol > li > p {
      text-align: left; }
    section.lead table {
      margin-left: auto;
      margin-right: auto; }
  section.lead-invert {
    color: #FFFFFF;
    background-color: #323232;
    background: "";
    display: flex;
    flex-direction: column;
    flex-wrap: nowrap;
    justify-content: center; }
    section.lead-invert a,
    section.lead-invert mark {
      color: #DB83ED; }
    section.lead-invert code {
      background: rgba(0, 0, 0, 0.3);
      color: #FFFFFF; }
    section.lead-invert h1 strong,
    section.lead-invert h2 strong,
    section.lead-invert h3 strong,
    section.lead-invert h4 strong,
    section.lead-invert h5 strong,
    section.lead-invert h6 strong {
      color: #DB83ED; }
    section.lead-invert h1 img,
    section.lead-invert h2 img,
    section.lead-invert h3 img,
    section.lead-invert h4 img,
    section.lead-invert h5 img,
    section.lead-invert h6 img {
      display: block;
      margin: auto; }
    section.lead-invert pre > code {
      background: rgba(0, 0, 0, 0.3);
      color: #FFFFFF; }
    section.lead-invert header,
    section.lead-invert footer,
    section.lead-invert section::after,
    section.lead-invert blockquote::before,
    section.lead-invert blockquote::after {
      color: #d6d6d6; }
    section.lead-invert table th,
    section.lead-invert table td {
      border-color: #FFFFFF; }
    section.lead-invert table thead th {
      background: #FFFFFF;
      color: #323232; }
    section.lead-invert table tbody > tr:nth-child(odd) td,
    section.lead-invert table tbody > tr:nth-child(odd) th {
      background: rgba(255, 255, 255, 0.1); }
    section.lead-invert h1,
    section.lead-invert h2,
    section.lead-invert h3,
    section.lead-invert h4,
    section.lead-invert h5,
    section.lead-invert h6 {
      text-align: center; }
      section.lead-invert h1 svg[data-marp-fitting='svg'],
      section.lead-invert h2 svg[data-marp-fitting='svg'],
      section.lead-invert h3 svg[data-marp-fitting='svg'],
      section.lead-invert h4 svg[data-marp-fitting='svg'],
      section.lead-invert h5 svg[data-marp-fitting='svg'],
      section.lead-invert h6 svg[data-marp-fitting='svg'] {
        --preserve-aspect-ratio: xMidYMid meet; }
    section.lead-invert p {
      text-align: center; }
    section.lead-invert blockquote > h1,
    section.lead-invert blockquote > h2,
    section.lead-invert blockquote > h3,
    section.lead-invert blockquote > h4,
    section.lead-invert blockquote > h5,
    section.lead-invert blockquote > h6,
    section.lead-invert blockquote > p {
      text-align: left; }
    section.lead-invert blockquote svg[data-marp-fitting='svg']:not([data-marp-fitting-math]) {
      --preserve-aspect-ratio: xMinYMin meet; }
    section.lead-invert ul > li > p,
    section.lead-invert ol > li > p {
      text-align: left; }
    section.lead-invert table {
      margin-left: auto;
      margin-right: auto; }
  section.lead-haskell {
    color: #FFFFFF;
    background-color: #5d4f85;
    background: url("https://raw.githubusercontent.com/haskell-infra/hl/master/static/img/pattern.png");
    display: flex;
    flex-direction: column;
    flex-wrap: nowrap;
    justify-content: center; }
    section.lead-haskell a,
    section.lead-haskell mark {
      color: #DB83ED; }
    section.lead-haskell code {
      background: rgba(235, 228, 243, 0.25);
      color: #FFFFFF; }
    section.lead-haskell h1 strong,
    section.lead-haskell h2 strong,
    section.lead-haskell h3 strong,
    section.lead-haskell h4 strong,
    section.lead-haskell h5 strong,
    section.lead-haskell h6 strong {
      color: #DB83ED; }
    section.lead-haskell h1 img,
    section.lead-haskell h2 img,
    section.lead-haskell h3 img,
    section.lead-haskell h4 img,
    section.lead-haskell h5 img,
    section.lead-haskell h6 img {
      display: block;
      margin: auto; }
    section.lead-haskell pre > code {
      background: rgba(235, 228, 243, 0.25);
      color: #FFFFFF; }
    section.lead-haskell header,
    section.lead-haskell footer,
    section.lead-haskell section::after,
    section.lead-haskell blockquote::before,
    section.lead-haskell blockquote::after {
      color: #dfdce7; }
    section.lead-haskell table th,
    section.lead-haskell table td {
      border-color: #FFFFFF; }
    section.lead-haskell table thead th {
      background: #FFFFFF;
      color: #5d4f85; }
    section.lead-haskell table tbody > tr:nth-child(odd) td,
    section.lead-haskell table tbody > tr:nth-child(odd) th {
      background: rgba(255, 255, 255, 0.1); }
    section.lead-haskell h1,
    section.lead-haskell h2,
    section.lead-haskell h3,
    section.lead-haskell h4,
    section.lead-haskell h5,
    section.lead-haskell h6 {
      text-align: center; }
      section.lead-haskell h1 svg[data-marp-fitting='svg'],
      section.lead-haskell h2 svg[data-marp-fitting='svg'],
      section.lead-haskell h3 svg[data-marp-fitting='svg'],
      section.lead-haskell h4 svg[data-marp-fitting='svg'],
      section.lead-haskell h5 svg[data-marp-fitting='svg'],
      section.lead-haskell h6 svg[data-marp-fitting='svg'] {
        --preserve-aspect-ratio: xMidYMid meet; }
    section.lead-haskell p {
      text-align: center; }
    section.lead-haskell blockquote > h1,
    section.lead-haskell blockquote > h2,
    section.lead-haskell blockquote > h3,
    section.lead-haskell blockquote > h4,
    section.lead-haskell blockquote > h5,
    section.lead-haskell blockquote > h6,
    section.lead-haskell blockquote > p {
      text-align: left; }
    section.lead-haskell blockquote svg[data-marp-fitting='svg']:not([data-marp-fitting-math]) {
      --preserve-aspect-ratio: xMinYMin meet; }
    section.lead-haskell ul > li > p,
    section.lead-haskell ol > li > p {
      text-align: left; }
    section.lead-haskell table {
      margin-left: auto;
      margin-right: auto; }

header,
footer,
section::after {
  box-sizing: border-box;
  font-size: 66%;
  height: 70px;
  line-height: 50px;
  overflow: hidden;
  padding: 10px 25px;
  position: absolute; }

header {
  left: 0;
  right: 0;
  top: 0; }

footer {
  left: 0;
  right: 0;
  bottom: 0; }

section::after {
  right: 0;
  bottom: 0;
  font-size: 80%; }