.wy-nav-content {
    max-width: 1250px
}
.redbold {
    color:red;
    font-weight: bold;
}
.pubbold {
    color:#1030FF;
    font-weight: bold;
}
.wy-menu-vertical
{
font-weight: bold;
}
.mybotom {
  position: fixed;
  bottom: 0;
  width: 600px;
  margin: 10px; 
  font-size: 85%;
}

.social {
    display: inline-block;
}
.social a {
    /*margin-top: -10px;*/
    text-decoration: none;
    margin-left: 10px;
    text-shadow: 0 1px 3px rgba(0,0,0,0.3);
    color: #b3d9ff;
}

.rst-content .section ol li>*,
.rst-content .section ul li>*,
.rst-content .toctree-wrapper ol li>*,
.rst-content .toctree-wrapper ul li>*,
.rst-content section ol li>*,
.rst-content section ul li>* {
  margin-top:0px;
  margin-bottom:0px
}

/* The vendored theme CSS references font files that are not in this theme. */
body,
.btn,
input[type=button],
input[type=reset],
input[type=submit],
input[type=color],
input[type=date],
input[type=datetime-local],
input[type=datetime],
input[type=email],
input[type=month],
input[type=number],
input[type=password],
input[type=search],
input[type=tel],
input[type=text],
input[type=time],
input[type=url],
input[type=week],
textarea,
.rst-versions {
  font-family: proxima-nova, "Helvetica Neue", Arial, sans-serif;
}

.rst-content .toctree-wrapper>p.caption,
h1,
h2,
h3,
h4,
h5,
h6,
legend,
.rst-content .sidebar .sidebar-title {
  font-family: ff-tisa-web-pro, Georgia, Arial, sans-serif;
}

@font-face {
  font-family: FontAwesomeLocal;
  src: url("fonts/fontawesome-webfont.woff2") format("woff2"),
       url("fonts/fontawesome-webfont.woff") format("woff"),
       url("fonts/fontawesome-webfont.ttf") format("truetype");
  font-style: normal;
  font-weight: normal;
  font-display: block;
}

.fa,
.fa::before,
.icon,
.icon::before,
.rst-content .admonition-title,
.rst-content .headerlink,
.rst-content code.download span:first-child,
.rst-content tt.download span:first-child,
.wy-menu-vertical button.toctree-expand {
  font-family: FontAwesomeLocal !important;
}