body {font-family: "Lato", sans-serif}

pre,pre > code,code {
    white-space: pre-wrap;       /* Since CSS 2.1 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

/* C code highlight by Emacs */
.my-red, .my-red-bold, .comment {
  /* font-lock-comment-face */
  color: #b22222;
}
.comment-delimiter {
  /* font-lock-comment-delimiter-face */
  color: #b22222;
}
.my-blue, .my-blue-bold, .function-name {
  /* font-lock-function-name-face */
  color: #0000ff;
}
.keyword {
  /* font-lock-keyword-face */
  color: #a020f0;
}
.region {
  /* region */
  background-color: #d9d7d6;
}
.string {
  /* font-lock-string-face */
  color: #8b2252;
}
.my-green, .my-green-bold, .type {
  /* font-lock-type-face */
  color: #228b22;
}
.variable-name {
  /* font-lock-variable-name-face */
  color: #a0522d;
}

code {
  font-family: Courier, Helvetica, Arial, sans-serif;
  padding: .1rem .1rem;
  margin: 0 .2rem;
  white-space: nowrap;
  background: #F1F1F1;
  border: 1px solid #E1E1E1;
  border-radius: 4px; }
pre > code {
  display: block;
  padding: 1rem 1.5rem;
  white-space: pre;
}

.part {
    font-weight: bold;
    padding-top: 0.2em;
}

/* Link to top of page */
.top-link {
    /* font-size: 0.8em; */
    font-size: 12px;
}

/* Link to top of page */
.my-red-bold, .my-green-bold, .my-blue-bold {
    font-weight: bold;
}

.my-logo{
    height:46.5px;
    width:46.5px;
    border:none;
}

.my-hover-pink, .my-hover-text-pink {
    -webkit-transition:background-color .3s,color .15s,box-shadow .3s,opacity 0.3s;
    transition:background-color .3s,color .15s,box-shadow .3s,opacity 0.3s
}
.my-pink,.my-hover-pink:hover{color:#fff!important;background-color:#f83ec1!important}
.my-text-pink{color:#ffffff!important;background-color:#000000!important}
.my-text-pink:hover{color:#f83ec1!important;background-color:#000000!important}
.my-border-pink,.my-hover-border-pink:hover{border-color:#f83ec1!important}
.my-bg-pink{color:#ffffff!important;background-color:#000000!important}
.my-bg-pink:hover{color:#000000!important;background-color:#f83ec1!important}