@charset "UTF-8";
@import url("http://fonts.googleapis.com/css?family=Open+Sans");
body .page-content {
  margin: 0 auto;
  width: 600px; }

body .post-content h1 {
  color: #2583ad;
  text-decoration-line: underline;
  text-decoration-style: dotted;
  border-bottom: 1px dotted #2583ad; }

body .post-content h2 {
  color: #2583ad;
  text-decoration-line: underline;
  text-decoration-style: dotted;
  text-decoration-color: #2583ad;
  border-bottom: 1px dotted #2583ad;
  margin-top: 20px; }

body .post-content .defn {
  background-color: #E6E6FA;
  opacity: 20%;
  width: 90%;
  margin-left: auto;
  margin-right: auto;
  margin-top: 5px;
  margin-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 5px;
  padding-bottom: 5px;
  border: 2px;
  border-style: dashed; }

body .post-content .tip {
  background-color: #E6E6FA;
  width: 90%;
  margin-left: auto;
  margin-right: auto;
  margin-top: 5px;
  margin-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-style: dashed; }

body .post-content .problem {
  background-color: #E6E6FA;
  width: 90%;
  margin-left: auto;
  margin-right: auto;
  margin-top: 5px;
  margin-bottom: 5px;
  padding-left: 5px;
  padding-right: 5px;
  padding-top: 5px;
  padding-bottom: 5px;
  border-style: dashed; }

body .post-content .tip h4 {
  font-weight: bold; }

body .post-content .defn h3 {
  font-weight: bold; }

body .post-content .defn h4 {
  font-weight: bold; }

body .post-content h3 {
  color: #2583ad;
  text-decoration-line: underline;
  text-decoration-style: dotted;
  text-decoration-color: #2583ad; }

body .fsm {
  margin-left: auto;
  margin-right: auto; }

body .post-content h4 {
  color: #2583ad;
  text-decoration-line: underline;
  text-decoration-style: dotted;
  text-decoration-color: #2583ad; }

body .top-link {
  font-size: .8em; }

body .diagram {
  margin-left: auto;
  margin-right: auto;
  width: 300px; }

body .diagramwide {
  margin-left: auto;
  margin-right: auto;
  width: 600px; }

body .trigger {
  display: block;
  margin-left: auto;
  margin-right: auto; }

button {
  -moz-box-shadow: inset 0px 1px 0px 0px #ffffff;
  -webkit-box-shadow: inset 0px 1px 0px 0px #ffffff;
  box-shadow: inset 0px 1px 0px 0px #ffffff;
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0.05, #ffffff), color-stop(1, #f6f6f6));
  background: -moz-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
  background: -webkit-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
  background: -o-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
  background: -ms-linear-gradient(top, #ffffff 5%, #f6f6f6 100%);
  background: linear-gradient(to bottom, #ffffff 5%, #f6f6f6 100%);
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#ffffff', endColorstr='#f6f6f6',GradientType=0);
  background-color: #ffffff;
  -moz-border-radius: 6px;
  -webkit-border-radius: 6px;
  border-radius: 6px;
  border: 1px solid #dcdcdc;
  display: inline-block;
  cursor: pointer;
  color: #666666;
  font-family: Arial;
  font-size: 15px;
  font-weight: bold;
  padding: 6px 24px;
  text-decoration: none;
  text-shadow: 0px 1px 0px #ffffff; }

button:hover {
  background: -webkit-gradient(linear, left top, left bottom, color-stop(0.05, #f6f6f6), color-stop(1, #ffffff));
  background: -moz-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
  background: -webkit-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
  background: -o-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
  background: -ms-linear-gradient(top, #f6f6f6 5%, #ffffff 100%);
  background: linear-gradient(to bottom, #f6f6f6 5%, #ffffff 100%);
  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#f6f6f6', endColorstr='#ffffff',GradientType=0);
  background-color: #f6f6f6; }

.myButton:active {
  position: relative;
  top: 1px; }

.editingText {
  color: lightgrey; }

.selectedText {
  opacity: 0.5; }

.fsmContainer {
  margin-left: auto;
  margin-right: auto; }

table {
  min-width: 600px; }

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

/**
 * Basic styling
 */
body {
  font-family: Helvetica, Arial, sans-serif;
  font-size: 16px;
  line-height: 1.5;
  font-weight: 300;
  color: #111;
  background-color: #f9f9f9;
  -webkit-text-size-adjust: 100%; }

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

/**
 * Set main page style
 */
.container {
  min-height: 100%;
  max-width: -webkit-calc(800px - (15px * 2));
  max-width: calc(800px - (15px * 2));
  margin-right: auto;
  margin-left: auto;
  padding-right: 15px;
  padding-left: 15px;
  padding-top: 30px;
  background-color: #fff;
  margin-top: 20px;
  margin-bottom: 30px;
  box-shadow: 1px 1px 10px #BBB; }

/*for media*/
*, *:before, *:after {
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
  box-sizing: border-box; }

/*two columns*/
.col-sm-8, .col-sm-2 {
  position: relative;
  min-height: 1px;
  margin: 0px 15px; }

@media screen and (min-width: 600px) {
  .col-sm-8 {
    float: left;
    width: 65%; }

  .col-sm-2 {
    float: right;
    width: 25%; } }
/**
 * Images
 */
img {
  max-width: 100%;
  vertical-align: middle; }

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

figcaption {
  font-size: 14px; }

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

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

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

/**
 * Links
 */
a {
  color: #2583ad;
  text-decoration: none; }
  a:visited {
    color: #0f3344; }
  a:hover {
    color: #669900;
    text-decoration: underline; }

.post-content a {
  color: #2a7ae2;
  text-decoration: none;
  border-bottom: 1px dotted; }
  .post-content a:visited {
    color: #113f7c; }
  .post-content a:hover {
    color: #DD1144;
    text-decoration: none; }

/**
 * Blockquotes
 */
blockquote {
  padding: 0 1em;
  margin: 14px 0;
  border: 2px dashed #d0dfda;
  border-radius: 5px;
  color: #828282;
  font-size: 18px;
  background: #f9f9f9; }
  blockquote:hover {
    color: #454545; }
  blockquote > :last-child {
    margin-bottom: 0; }

/**
 * Code formatting
 */
pre, code {
  font-size: 15px;
  border-radius: 3px;
  background-color: #E8E8E8;
  color: #2583ad; }

code {
  padding: 1px 5px; }

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

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

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

/**
 * Icons
 */
.icon > svg {
  display: inline-block;
  width: 16px;
  height: 16px;
  vertical-align: middle; }
  .icon > svg path {
    fill: #828282; }

/**
 * Table
 */
table {
  padding: 0;
  border-collapse: collapse;
  font-size: 14px; }

table tr {
  border-top: 1px solid #cccccc;
  background-color: white;
  margin: 0;
  padding: 0; }

table tr:nth-child(2n) {
  background-color: #f8f8f8; }

table tr th {
  font-weight: bold;
  border: 1px solid #cccccc;
  margin: 0;
  padding: 3px 6px; }

table tr td {
  border: 1px solid #cccccc;
  margin: 0;
  padding: 3px 6px; }

table tr th :first-child, table tr td :first-child {
  margin-top: 0; }

table tr th :last-child, table tr td :last-child {
  margin-bottom: 0; }

/**
 * line between each post on main page
 */
hr {
  margin-bottom: 30px;
  border: 0;
  border-bottom: 1px dotted #ccc; }

cite {
  font-style: italic;
  text-decoration: underline; }

/**
 * Site header
 */
.site-header {
  position: relative; }

.site-title {
  font-size: 48px;
  line-height: 56px;
  letter-spacing: -1px;
  margin-bottom: 0;
  text-align: center; }
  .site-title a, .site-title a:visited
  .site-title a:hover {
    color: #2583ad;
    border-bottom: 1px dotted;
    text-decoration: none; }

.site-meta {
  font-size: 20px;
  line-height: 56px;
  letter-spacing: -1px;
  margin-bottom: 0;
  text-align: center;
  color: #828282; }

.site-nav {
  /*float: right;*/
  line-height: 56px;
  border-top: 1px solid #e8e8e8;
  border-bottom: 1px solid #e8e8e8; }
  .site-nav .menu-icon {
    display: none; }
  .site-nav .page-link {
    color: #828282;
    line-height: 1.5;
    margin-left: 10px;
    margin-right: 10px; }
  .site-nav a {
    text-decoration: none; }
    .site-nav a:hover {
      color: #111;
      text-decoration: none; }
  @media screen and (max-width: 600px) {
    .site-nav {
      position: relative;
      background-color: #f9f9f9;
      border: 1px solid #e8e8e8;
      border-radius: 5px;
      text-align: center; }
      .site-nav .menu-icon {
        display: block;
        line-height: 0;
        text-align: center; }
        .site-nav .menu-icon > svg {
          width: 18px;
          height: 30px; }
          .site-nav .menu-icon > svg path {
            fill: #424242; }
      .site-nav .trigger {
        clear: both;
        display: none; }
      .site-nav:hover .trigger {
        display: block;
        padding-bottom: 5px; }
      .site-nav .page-link {
        display: block;
        padding: 5px 10px; } }

/**
 * Sidebar
 */
.sidebar-module {
  padding: 15px;
  margin: 0 -15px 15px;
  font-size: 14px; }
  .sidebar-module h4 {
    font-size: 16px;
    font-weight: bold;
    color: #424242; }
  .sidebar-module li {
    list-style: none; }

/**
 * Site footer
 */
.site-footer {
  clear: both;
  text-align: center;
  background-color: #f9f9f9;
  border-top: 1px solid #e8e8e8;
  margin: 15px 0;
  padding: 15px 0;
  font-size: 14px; }

/**
 * Page content
 */
.page-content {
  padding: 15px 0; }
  .page-content strong {
    font-weight: bold; }

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

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

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

/**
 * Posts
 */
.post-header {
  margin-bottom: 15px; }
  .post-header time {
    margin-left: 0px;
    font-style: normal; }

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

#markdown-toc {
  float: right;
  width: 50%;
  background: #f4f7f8;
  padding: 20px 15px; }
  #markdown-toc li {
    padding-top: 10px;
    position: relative;
    list-style-type: none; }

#markdown-toc:before {
  content: "Table of Contents";
  font-weight: 700;
  padding-left: 10px;
  border-bottom: 5px solid #e8e8e8 !important;
  display: block;
  font-size: 18px; }

.post-content p {
  padding: 3px 0; }
.post-content h1 {
  font-size: 38px;
  line-height: 1em; }
  @media screen and (max-width: 800px) {
    .post-content h1 {
      font-size: 36px; } }
.post-content h2 {
  font-size: 32px;
  line-height: 1em; }
  @media screen and (max-width: 800px) {
    .post-content h2 {
      font-size: 28px; } }
.post-content h3 {
  font-size: 26px;
  line-height: 1em; }
  @media screen and (max-width: 800px) {
    .post-content h3 {
      font-size: 22px; } }
.post-content h4 {
  font-size: 20px;
  line-height: 1em; }
  @media screen and (max-width: 800px) {
    .post-content h4 {
      font-size: 18px; } }

/**
 * Pagination Style
 */
.pager {
  margin-bottom: 60px;
  text-align: center; }
  .pager ul {
    display: block;
    margin: 20px 0; }
  .pager li {
    list-style: none; }
  .pager li.previous a {
    float: left; }
  .pager li.next a {
    float: right; }
  .pager li.disabled {
    display: none; }

/**
 * Tags and Categories Style
 */
.tags-box li {
  list-style: none;
  font-weight: bold;
  margin-top: 10px; }
.tags-box .size {
  font-size: 0.7em;
  font-weight: bold;
  vertical-align: super; }

/*time style of tages and categories*/
time {
  margin-left: 15px;
  font-style: italic; }

/**
 * Aboutme photo Style
 */
.about img {
  height: 128px;
  width: 128px;
  border-radius: 50%;
  margin: 0 auto;
  display: block; }

/**
 * New style for quotation.
 */
q:before {
  content: '『';
  color: #DD1144;
  font-weight: bold; }

q:after {
  content: '』';
  color: #DD1144;
  font-weight: bold; }

/**
 * Syntax highlighting styles
 */
.highlight {
  background: #ffffff; }

.highlight .c {
  color: #999988;
  font-style: italic; }

/* Comment */
.highlight .err {
  color: #a61717;
  background-color: #e3d2d2; }

/* Error */
.highlight .k {
  font-weight: bold; }

/* Keyword */
.highlight .o {
  font-weight: bold; }

/* Operator */
.highlight .cm {
  color: #999988;
  font-style: italic; }

/* Comment.Multiline */
.highlight .cp {
  color: #999999;
  font-weight: bold; }

/* Comment.Preproc */
.highlight .c1 {
  color: #999988;
  font-style: italic; }

/* Comment.Single */
.highlight .cs {
  color: #999999;
  font-weight: bold;
  font-style: italic; }

/* Comment.Special */
.highlight .gd {
  color: #000000;
  background-color: #ffdddd; }

/* Generic.Deleted */
.highlight .gd .x {
  color: #000000;
  background-color: #ffaaaa; }

/* Generic.Deleted.Specific */
.highlight .ge {
  font-style: italic; }

/* Generic.Emph */
.highlight .gr {
  color: #aa0000; }

/* Generic.Error */
.highlight .gh {
  color: #999999; }

/* Generic.Heading */
.highlight .gi {
  color: #000000;
  background-color: #ddffdd; }

/* Generic.Inserted */
.highlight .gi .x {
  color: #000000;
  background-color: #aaffaa; }

/* Generic.Inserted.Specific */
.highlight .go {
  color: #888888; }

/* Generic.Output */
.highlight .gp {
  color: #555555; }

/* Generic.Prompt */
.highlight .gs {
  font-weight: bold; }

/* Generic.Strong */
.highlight .gu {
  color: #aaaaaa; }

/* Generic.Subheading */
.highlight .gt {
  color: #aa0000; }

/* Generic.Traceback */
.highlight .kc {
  font-weight: bold; }

/* Keyword.Constant */
.highlight .kd {
  font-weight: bold; }

/* Keyword.Declaration */
.highlight .kp {
  font-weight: bold; }

/* Keyword.Pseudo */
.highlight .kr {
  font-weight: bold; }

/* Keyword.Reserved */
.highlight .kt {
  color: #445588;
  font-weight: bold; }

/* Keyword.Type */
.highlight .m {
  color: #009999; }

/* Literal.Number */
.highlight .s {
  color: #d14; }

/* Literal.String */
.highlight .na {
  color: #008080; }

/* Name.Attribute */
.highlight .nb {
  color: #0086B3; }

/* Name.Builtin */
.highlight .nc {
  color: #445588;
  font-weight: bold; }

/* Name.Class */
.highlight .no {
  color: #008080; }

/* Name.Constant */
.highlight .ni {
  color: #800080; }

/* Name.Entity */
.highlight .ne {
  color: #990000;
  font-weight: bold; }

/* Name.Exception */
.highlight .nf {
  color: #990000;
  font-weight: bold; }

/* Name.Function */
.highlight .nn {
  color: #555555; }

/* Name.Namespace */
.highlight .nt {
  color: #000080; }

/* Name.Tag */
.highlight .nv {
  color: #008080; }

/* Name.Variable */
.highlight .ow {
  font-weight: bold; }

/* Operator.Word */
.highlight .w {
  color: #bbbbbb; }

/* Text.Whitespace */
.highlight .mf {
  color: #009999; }

/* Literal.Number.Float */
.highlight .mh {
  color: #009999; }

/* Literal.Number.Hex */
.highlight .mi {
  color: #009999; }

/* Literal.Number.Integer */
.highlight .mo {
  color: #009999; }

/* Literal.Number.Oct */
.highlight .sb {
  color: #d14; }

/* Literal.String.Backtick */
.highlight .sc {
  color: #d14; }

/* Literal.String.Char */
.highlight .sd {
  color: #d14; }

/* Literal.String.Doc */
.highlight .s2 {
  color: #d14; }

/* Literal.String.Double */
.highlight .se {
  color: #d14; }

/* Literal.String.Escape */
.highlight .sh {
  color: #d14; }

/* Literal.String.Heredoc */
.highlight .si {
  color: #d14; }

/* Literal.String.Interpol */
.highlight .sx {
  color: #d14; }

/* Literal.String.Other */
.highlight .sr {
  color: #009926; }

/* Literal.String.Regex */
.highlight .s1 {
  color: #d14; }

/* Literal.String.Single */
.highlight .ss {
  color: #990073; }

/* Literal.String.Symbol */
.highlight .bp {
  color: #999999; }

/* Name.Builtin.Pseudo */
.highlight .vc {
  color: #008080; }

/* Name.Variable.Class */
.highlight .vg {
  color: #008080; }

/* Name.Variable.Global */
.highlight .vi {
  color: #008080; }

/* Name.Variable.Instance */
.highlight .il {
  color: #009999; }

/* Literal.Number.Integer.Long */
/* Make line numbers unselectable: excludes line numbers from copy-paste user ops */
.highlight .lineno {
  -webkit-user-select: none;
  -moz-user-select: none;
  -o-user-select: none; }

.lineno::-moz-selection {
  background-color: transparent; }

/* Mozilla specific */
.lineno::selection {
  background-color: transparent; }

/* Other major browsers */