/**
 * Reset some basic elements
 */
body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr,
dl, dd, ol, ul, figure {
  margin: 0;
  padding: 0; }

/**
 * Basic styling
 */
body {
  font: 400 16px/1.5 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  color: #111;
  background-color: #fdfdfd;
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal;
  display: flex;
  min-height: 100vh;
  flex-direction: column; }

/**
 * Set `margin-bottom` to maintain vertical rhythm
 */
h1, h2, h3, h4, h5, h6,
p, blockquote, pre,
ul, ol, dl, figure,
.highlight {
  margin-bottom: 15px; }

/**
 * `main` element
 */
main {
  display: block;
  /* Default value of `display` of `main` element is 'inline' in IE 11. */ }

/**
 * Images
 */
img {
  max-width: 100%;
  vertical-align: middle; }

/**
 * Figures
 */
figure > img {
  display: block; }

figcaption {
  font-size: 14px; }

/**
 * Lists
 */
ul, ol {
  margin-left: 30px; }

li > ul,
li > ol {
  margin-bottom: 0; }

/**
 * Headings
 */
h1, h2, h3, h4, h5, h6 {
  font-weight: 400; }

/**
 * Links
 */
a {
  color: #2a7ae2;
  text-decoration: none; }
  a:visited {
    color: #1756a9; }
  a:hover {
    color: #111;
    text-decoration: underline; }
  .social-media-list a:hover {
    text-decoration: none; }
    .social-media-list a:hover .username {
      text-decoration: underline; }

/**
 * Blockquotes
 */
blockquote {
  color: #828282;
  border-left: 4px solid #e8e8e8;
  padding-left: 15px;
  font-size: 18px;
  letter-spacing: -1px;
  font-style: italic; }
  blockquote > :last-child {
    margin-bottom: 0; }

/**
 * Code formatting
 */
pre,
code {
  font-size: 15px;
  border: 1px solid #e8e8e8;
  border-radius: 3px;
  background-color: #eef; }

code {
  padding: 1px 5px; }

pre {
  padding: 8px 12px;
  overflow-x: auto; }
  pre > code {
    border: 0;
    padding-right: 0;
    padding-left: 0; }

/**
 * Wrapper
 */
.wrapper {
  max-width: -webkit-calc(800px - (30px * 2));
  max-width: calc(800px - (30px * 2));
  margin-right: auto;
  margin-left: auto;
  padding-right: 30px;
  padding-left: 30px; }
  @media screen and (max-width: 800px) {
    .wrapper {
      max-width: -webkit-calc(800px - (30px));
      max-width: calc(800px - (30px));
      padding-right: 15px;
      padding-left: 15px; } }

/**
 * Clearfix
 */
.wrapper:after, .footer-col-wrapper:after {
  content: "";
  display: table;
  clear: both; }

/**
 * Icons
 */
.svg-icon {
  width: 16px;
  height: 16px;
  display: inline-block;
  fill: #828282;
  padding-right: 5px;
  vertical-align: text-top; }

.social-media-list li + li {
  padding-top: 5px; }

/**
 * Tables
 */
table {
  margin-bottom: 30px;
  width: 100%;
  text-align: left;
  color: #3f3f3f;
  border-collapse: collapse; }
  table tr:nth-child(even) {
    background-color: #f7f7f7; }

/**
 * Site header
 */
.site-header {
  border-top: 5px solid #424242;
  border-bottom: 1px solid #e8e8e8;
  min-height: 55.95px;
  position: relative; }

.site-title {
  font-size: 26px;
  font-weight: 300;
  line-height: 54px;
  letter-spacing: -1px;
  margin-bottom: 0;
  float: left; }
  .site-title, .site-title:visited {
    color: #424242; }

.site-nav {
  float: right;
  line-height: 54px; }
  .site-nav .nav-trigger {
    display: none; }
  .site-nav .menu-icon {
    display: none; }
  .site-nav .page-link {
    color: #111;
    line-height: 1.5; }
    .site-nav .page-link:not(:last-child) {
      margin-right: 20px; }
  @media screen and (max-width: 600px) {
    .site-nav {
      position: absolute;
      top: 9px;
      right: 15px;
      background-color: #fdfdfd;
      border: 1px solid #e8e8e8;
      border-radius: 5px;
      text-align: right; }
      .site-nav label[for="nav-trigger"] {
        display: block;
        float: right;
        width: 36px;
        height: 36px;
        z-index: 2;
        cursor: pointer; }
      .site-nav .menu-icon {
        display: block;
        float: right;
        width: 36px;
        height: 26px;
        line-height: 0;
        padding-top: 10px;
        text-align: center; }
        .site-nav .menu-icon > svg {
          fill: #424242; }
      .site-nav input ~ .trigger {
        clear: both;
        display: none; }
      .site-nav input:checked ~ .trigger {
        display: block;
        padding-bottom: 5px; }
      .site-nav .page-link {
        display: block;
        padding: 5px 10px;
        margin-left: 20px; }
        .site-nav .page-link:not(:last-child) {
          margin-right: 0; } }

/**
 * Site footer
 */
.site-footer {
  border-top: 1px solid #e8e8e8;
  padding: 30px 0; }

.footer-heading {
  font-size: 18px;
  margin-bottom: 15px; }

.contact-list,
.social-media-list {
  list-style: none;
  margin-left: 0; }

.footer-col-wrapper {
  font-size: 15px;
  color: #828282;
  margin-left: -15px; }

.footer-col {
  float: left;
  margin-bottom: 15px;
  padding-left: 15px; }

.footer-col-1 {
  width: -webkit-calc(35% - (30px / 2));
  width: calc(35% - (30px / 2)); }

.footer-col-2 {
  width: -webkit-calc(20% - (30px / 2));
  width: calc(20% - (30px / 2)); }

.footer-col-3 {
  width: -webkit-calc(45% - (30px / 2));
  width: calc(45% - (30px / 2)); }

@media screen and (max-width: 800px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - (30px / 2));
    width: calc(50% - (30px / 2)); }

  .footer-col-3 {
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - (30px / 2)); } }
@media screen and (max-width: 600px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - (30px / 2));
    width: calc(100% - (30px / 2)); } }
/**
 * Page content
 */
.page-content {
  padding: 30px 0;
  flex: 1; }

.page-heading {
  font-size: 32px; }

.post-list-heading {
  font-size: 28px; }

.post-list {
  margin-left: 0;
  list-style: none; }
  .post-list > li {
    margin-bottom: 30px; }

.post-meta {
  font-size: 14px;
  color: #828282; }

.post-link {
  display: block;
  font-size: 24px; }

/**
 * Posts
 */
.post-header {
  margin-bottom: 30px; }

.post-title {
  font-size: 42px;
  letter-spacing: -1px;
  line-height: 1; }
  @media screen and (max-width: 800px) {
    .post-title {
      font-size: 36px; } }

.post-content {
  margin-bottom: 30px; }
  .post-content h2 {
    font-size: 32px; }
    @media screen and (max-width: 800px) {
      .post-content h2 {
        font-size: 28px; } }
  .post-content h3 {
    font-size: 26px; }
    @media screen and (max-width: 800px) {
      .post-content h3 {
        font-size: 22px; } }
  .post-content h4 {
    font-size: 20px; }
    @media screen and (max-width: 800px) {
      .post-content h4 {
        font-size: 18px; } }

/**
 * Syntax highlighting styles
 */
.highlight {
  background: #fff; }
  .highlighter-rouge .highlight {
    background: #eef; }
  .highlight .c {
    color: #998;
    font-style: italic; }
  .highlight .err {
    color: #a61717;
    background-color: #e3d2d2; }
  .highlight .k {
    font-weight: bold; }
  .highlight .o {
    font-weight: bold; }
  .highlight .cm {
    color: #998;
    font-style: italic; }
  .highlight .cp {
    color: #999;
    font-weight: bold; }
  .highlight .c1 {
    color: #998;
    font-style: italic; }
  .highlight .cs {
    color: #999;
    font-weight: bold;
    font-style: italic; }
  .highlight .gd {
    color: #000;
    background-color: #fdd; }
  .highlight .gd .x {
    color: #000;
    background-color: #faa; }
  .highlight .ge {
    font-style: italic; }
  .highlight .gr {
    color: #a00; }
  .highlight .gh {
    color: #999; }
  .highlight .gi {
    color: #000;
    background-color: #dfd; }
  .highlight .gi .x {
    color: #000;
    background-color: #afa; }
  .highlight .go {
    color: #888; }
  .highlight .gp {
    color: #555; }
  .highlight .gs {
    font-weight: bold; }
  .highlight .gu {
    color: #aaa; }
  .highlight .gt {
    color: #a00; }
  .highlight .kc {
    font-weight: bold; }
  .highlight .kd {
    font-weight: bold; }
  .highlight .kp {
    font-weight: bold; }
  .highlight .kr {
    font-weight: bold; }
  .highlight .kt {
    color: #458;
    font-weight: bold; }
  .highlight .m {
    color: #099; }
  .highlight .s {
    color: #d14; }
  .highlight .na {
    color: #008080; }
  .highlight .nb {
    color: #0086B3; }
  .highlight .nc {
    color: #458;
    font-weight: bold; }
  .highlight .no {
    color: #008080; }
  .highlight .ni {
    color: #800080; }
  .highlight .ne {
    color: #900;
    font-weight: bold; }
  .highlight .nf {
    color: #900;
    font-weight: bold; }
  .highlight .nn {
    color: #555; }
  .highlight .nt {
    color: #000080; }
  .highlight .nv {
    color: #008080; }
  .highlight .ow {
    font-weight: bold; }
  .highlight .w {
    color: #bbb; }
  .highlight .mf {
    color: #099; }
  .highlight .mh {
    color: #099; }
  .highlight .mi {
    color: #099; }
  .highlight .mo {
    color: #099; }
  .highlight .sb {
    color: #d14; }
  .highlight .sc {
    color: #d14; }
  .highlight .sd {
    color: #d14; }
  .highlight .s2 {
    color: #d14; }
  .highlight .se {
    color: #d14; }
  .highlight .sh {
    color: #d14; }
  .highlight .si {
    color: #d14; }
  .highlight .sx {
    color: #d14; }
  .highlight .sr {
    color: #009926; }
  .highlight .s1 {
    color: #d14; }
  .highlight .ss {
    color: #990073; }
  .highlight .bp {
    color: #999; }
  .highlight .vc {
    color: #008080; }
  .highlight .vg {
    color: #008080; }
  .highlight .vi {
    color: #008080; }
  .highlight .il {
    color: #099; }

/* start css.sty */
.cmr-5 {
  font-size: 50%; }

.cmr-7 {
  font-size: 70%; }

.cmmi-5 {
  font-size: 50%;
  font-style: italic; }

.cmmi-7 {
  font-size: 70%;
  font-style: italic; }

.cmmi-10 {
  font-style: italic; }

.cmsy-5 {
  font-size: 50%; }

.cmsy-7 {
  font-size: 70%; }

.cmbsy-10 {
  font-weight: bold; }

.cmbsy-10 {
  font-weight: bold; }

.cmbsy-10 {
  font-weight: bold; }

.cmbsy-7 {
  font-size: 70%;
  font-weight: bold; }

.cmbsy-7 {
  font-weight: bold; }

.cmbsy-7 {
  font-weight: bold; }

.cmbsy-5 {
  font-size: 50%;
  font-weight: bold; }

.cmbsy-5 {
  font-weight: bold; }

.cmbsy-5 {
  font-weight: bold; }

.cmex-7 {
  font-size: 70%; }

.cmex-7x-x-71 {
  font-size: 49%; }

.msbm-7 {
  font-size: 70%; }

.msbm-5 {
  font-size: 50%; }

.eufm-7 {
  font-size: 70%; }

.eufm-5 {
  font-size: 50%; }

.eufb-7 {
  font-size: 70%; }

.eufb-5 {
  font-size: 50%; }

.cmti-10 {
  font-style: italic; }

p {
  margin-top: 0;
  margin-bottom: 0; }

p.indent {
  text-indent: 0; }

p + p {
  margin-top: 1em; }

p + div, p + pre {
  margin-top: 1em; }

div + p, pre + p {
  margin-top: 1em; }

@media print {
  div.crosslinks {
    visibility: hidden; } }
a img {
  border-top: 0;
  border-left: 0;
  border-right: 0; }

center {
  margin-top: 1em;
  margin-bottom: 1em; }

td center {
  margin-top: 0em;
  margin-bottom: 0em; }

.Canvas {
  position: relative; }

math {
  text-indent: 0em; }

li p.indent {
  text-indent: 0em; }

li p:first-child {
  margin-top: 0em; }

li p:last-child, li div:last-child {
  margin-bottom: 0.5em; }

li p ~ ul:last-child, li p ~ ol:last-child {
  margin-bottom: 0.5em; }

.enumerate1 {
  list-style-type: decimal; }

.enumerate2 {
  list-style-type: lower-alpha; }

.enumerate3 {
  list-style-type: lower-roman; }

.enumerate4 {
  list-style-type: upper-alpha; }

div.newtheorem {
  margin-bottom: 2em;
  margin-top: 2em; }

.obeylines-h, .obeylines-v {
  white-space: nowrap; }

div.obeylines-v p {
  margin-top: 0;
  margin-bottom: 0; }

.overline {
  text-decoration: overline; }

.overline img {
  border-top: 1px solid black; }

td.displaylines {
  text-align: center;
  white-space: nowrap; }

.centerline {
  text-align: center; }

.rightline {
  text-align: right; }

div.verbatim {
  font-family: monospace,monospace;
  white-space: nowrap;
  text-align: left;
  clear: both; }

.fbox {
  padding-left: 3.0pt;
  padding-right: 3.0pt;
  text-indent: 0pt;
  border: solid black 0.4pt; }

div.fbox {
  display: table; }

div.center div.fbox {
  text-align: center;
  clear: both;
  padding-left: 3.0pt;
  padding-right: 3.0pt;
  text-indent: 0pt;
  border: solid black 0.4pt; }

div.minipage {
  width: 100%; }

div.center, div.center div.center {
  text-align: center;
  margin-left: 1em;
  margin-right: 1em; }

div.center div {
  text-align: left; }

div.flushright, div.flushright div.flushright {
  text-align: right; }

div.flushright div {
  text-align: left; }

div.flushleft {
  text-align: left; }

.underline {
  text-decoration: underline; }

.underline img {
  border-bottom: 1px solid black;
  margin-bottom: 1pt; }

.framebox-c, .framebox-l, .framebox-r {
  padding-left: 3.0pt;
  padding-right: 3.0pt;
  text-indent: 0pt;
  border: solid black 0.4pt; }

.framebox-c {
  text-align: center; }

.framebox-l {
  text-align: left; }

.framebox-r {
  text-align: right; }

span.thank-mark {
  vertical-align: super; }

span.footnote-mark sup.textsuperscript, span.footnote-mark a sup.textsuperscript {
  font-size: 80%; }

div.tabular, div.center div.tabular {
  text-align: center;
  margin-top: 0.5em;
  margin-bottom: 0.5em; }

table.tabular td p {
  margin-top: 0em; }

table.tabular {
  margin-left: auto;
  margin-right: auto; }

td p:first-child {
  margin-top: 0em; }

td p:last-child {
  margin-bottom: 0em; }

div.td00 {
  margin-left: 0pt;
  margin-right: 0pt; }

div.td01 {
  margin-left: 0pt;
  margin-right: 5pt; }

div.td10 {
  margin-left: 5pt;
  margin-right: 0pt; }

div.td11 {
  margin-left: 5pt;
  margin-right: 5pt; }

table[rules] {
  border-left: solid black 0.4pt;
  border-right: solid black 0.4pt; }

td.td00 {
  padding-left: 0pt;
  padding-right: 0pt; }

td.td01 {
  padding-left: 0pt;
  padding-right: 5pt; }

td.td10 {
  padding-left: 5pt;
  padding-right: 0pt; }

td.td11 {
  padding-left: 5pt;
  padding-right: 5pt; }

table[rules] {
  border-left: solid black 0.4pt;
  border-right: solid black 0.4pt; }

.hline hr, .cline hr {
  height: 0px;
  margin: 0px; }

.hline td, .cline td {
  padding: 0; }

.hline hr, .cline hr {
  border: none;
  border-top: 1px solid black; }

.tabbing-right {
  text-align: right; }

div.float, div.figure {
  margin-left: auto;
  margin-right: auto; }

div.float img {
  text-align: center; }

div.figure img {
  text-align: center; }

.marginpar, .reversemarginpar {
  width: 20%;
  float: right;
  text-align: left;
  margin-left: auto;
  margin-top: 0.5em;
  font-size: 85%;
  text-decoration: underline; }

.marginpar p, .reversemarginpar p {
  margin-top: 0.4em;
  margin-bottom: 0.4em; }

.reversemarginpar {
  float: left; }

.equation td {
  text-align: center;
  vertical-align: middle; }

td.eq-no {
  width: 5%; }

table.equation {
  width: 100%; }

div.math-display, div.par-math-display {
  text-align: center; }

mtr.hline mtd {
  border-bottom: black solid 1px;
  padding-top: 2px;
  padding-bottom: 0em; }

mtr.hline mtd mo {
  display: none; }

math .texttt {
  font-family: monospace; }

math .textit {
  font-style: italic; }

math .textsl {
  font-style: oblique; }

math .textsf {
  font-family: sans-serif; }

math .textbf {
  font-weight: bold; }

mo.MathClass-op + mi {
  margin-left: 0.3em; }

mi + mo.MathClass-op {
  margin-left: 0.3em; }

math mstyle[mathvariant="bold"] {
  font-weight: bold;
  font-style: normal; }

math mstyle[mathvariant="normal"] {
  font-weight: normal;
  font-style: normal; }

.partToc a, .partToc, .likepartToc a, .likepartToc {
  line-height: 200%;
  font-weight: bold;
  font-size: 110%; }

.index-item, .index-subitem, .index-subsubitem {
  display: block; }

div.caption {
  text-indent: -2em;
  margin-left: 3em;
  margin-right: 1em;
  text-align: left; }

div.caption span.id {
  font-weight: bold;
  white-space: nowrap; }

h1.partHead {
  text-align: center; }

p.bibitem {
  text-indent: -2em;
  margin-left: 2em;
  margin-top: 0.6em;
  margin-bottom: 0.6em; }

p.bibitem-p {
  text-indent: 0em;
  margin-left: 2em;
  margin-top: 0.6em;
  margin-bottom: 0.6em; }

.paragraphHead, .likeparagraphHead {
  margin-top: 2em;
  font-weight: bold; }

.subparagraphHead, .likesubparagraphHead {
  font-weight: bold; }

.quote {
  margin-bottom: 0.25em;
  margin-top: 0.25em;
  margin-left: 1em;
  margin-right: 1em;
  text-align: justify; }

.verse {
  white-space: nowrap;
  margin-left: 2em; }

div.maketitle {
  text-align: center; }

h2.titleHead {
  text-align: center; }

div.maketitle {
  margin-bottom: 2em; }

div.author, div.date {
  text-align: center; }

div.thanks {
  text-align: left;
  margin-left: 10%;
  font-size: 85%;
  font-style: italic; }

div.author {
  white-space: nowrap; }

.quotation {
  margin-bottom: 0.25em;
  margin-top: 0.25em;
  margin-left: 1em; }

.abstract p {
  margin-left: 5%;
  margin-right: 5%; }

div.abstract {
  width: 100%; }

.equation-star td {
  text-align: center;
  vertical-align: middle;
  border: 0px; }

table.equation-star {
  width: 100%;
  padding: 0px;
  border: 0px; }

mtd.align-odd {
  margin-left: 2em;
  text-align: right; }

mtd.align-even {
  margin-right: 2em;
  text-align: left; }

.boxed {
  border: 1px solid black;
  padding-left: 2px;
  padding-right: 2px; }

.rotatebox {
  display: inline-block; }

.figure img.graphics {
  margin-left: 10%; }

/* end css.sty */