/* fonts.googleapis.com/css?family=Open+Sans:700%7CGrand+Hotel */
/* latin-ext */
@font-face {
	font-family: 'Grand Hotel';
	font-style: normal;
	font-weight: 400;
	src: local('Grand Hotel'), local('GrandHotel-Regular'), url(https://fonts.gstatic.com/s/grandhotel/v4/NrGQkrs9rbHm5EYx0Eil0iYE0-AqJ3nfInTTiDXDjU4.woff2) format('woff2');
	unicode-range: U+0100-024F, U+1E00-1EFF, U+20A0-20AB, U+20AD-20CF, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
	font-family: 'Grand Hotel';
	font-style: normal;
	font-weight: 400;
	src: local('Grand Hotel'), local('GrandHotel-Regular'), url(https://fonts.gstatic.com/s/grandhotel/v4/NrGQkrs9rbHm5EYx0Eil0o4P5ICox8Kq3LLUNMylGO4.woff2) format('woff2');
	unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2212, U+2215, U+E0FF, U+EFFD, U+F000;
}
/* cyrillic-ext */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzK-j2U0lmluP9RWlSytm3ho.woff2) format('woff2');
	unicode-range: U+0460-052F, U+20B4, U+2DE0-2DFF, U+A640-A69F;
}
/* cyrillic */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzJX5f-9o1vgP2EXwfjgl7AY.woff2) format('woff2');
	unicode-range: U+0400-045F, U+0490-0491, U+04B0-04B1, U+2116;
}
/* greek-ext */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzBWV49_lSm1NYrwo-zkhivY.woff2) format('woff2');
	unicode-range: U+1F00-1FFF;
}
/* greek */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzKaRobkAwv3vxw3jMhVENGA.woff2) format('woff2');
	unicode-range: U+0370-03FF;
}
/* vietnamese */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzP8zf_FOSsgRmwsS7Aa9k2w.woff2) format('woff2');
	unicode-range: U+0102-0103, U+1EA0-1EF9, U+20AB;
}
/* latin-ext */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzD0LW-43aMEzIO6XUTLjad8.woff2) format('woff2');
	unicode-range: U+0100-024F, U+1E00-1EFF, U+20A0-20AB, U+20AD-20CF, U+2C60-2C7F, U+A720-A7FF;
}
/* latin */
@font-face {
	font-family: 'Open Sans';
	font-style: normal;
	font-weight: 700;
	src: local('Open Sans Bold'), local('OpenSans-Bold'), url(https://fonts.gstatic.com/s/opensans/v13/k3k702ZOKiLJc3WVjuplzOgdm0LZdjqr5-oayXSOefg.woff2) format('woff2');
	unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2212, U+2215, U+E0FF, U+EFFD, U+F000;
}

.katex-display
{
	font-size: 18px;
	overflow-x: auto;
	overflow-y: hidden;
}

pre
{
	tab-size: 4;
	-moz-tab-size: 4;
	padding: 5px 9px;
	border: 1px solid #f0f0f0;
}

a
{
	color: #0079ff;
}

a, a:hover, a:focus
{
	text-decoration: none;
	transition: color 0.5s ease;
}

h1, h2, h3, h4, h5, h6
{
	font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
	margin-top: 20px;
	margin-bottom: 20px;
}

.navbar
{
	margin-bottom: 35px;
}

.navbar-brand
{
	font-size: 175%;
	font-family: Menlo, Monaco, Consolas, "Courier New", monospace;
}

.navbar-toggle
{
	cursor: pointer;
}

#navbar-toggle-checkbox
{
	display: none;
}

#navbar-toggle-checkbox:checked ~ .collapse
{
	display: block;
}

pre code
{
	white-space: pre;
	overflow-x: auto;
}

h1:first-of-type
{
	margin-top: 0;
}

.container h1:first-child
{
	margin-bottom: 25px;
}

.container h1:first-child + h2
{
	margin-top: -8px;
}

.fa.fa-fixed
{
	width: 16px;
	text-align: center;
}

.img-responsive.img-center
{
	margin: 0 auto;
}

.img-responsive.img-right-nofloat
{
	margin: 0 0 0 auto;
}

.img-responsive.img-left-nofloat
{
	margin: 0 auto 0 0;
}

.img-responsive.img-right
{
	float: right;
}

.img-responsive.img-left
{
	float: left;
}

img[alt="favicon"], img[alt="icon"]
{
	display: inline-block;
}

h1 .btn-git
{
	font-size: 50%;
	padding: 3px 10px;
	margin-top: -3px;
}

samp
{
	font-size: 105%;
}

.post-header p
{
	color: #777;
	margin-bottom: 5px;
}

.post-header h1
{
	margin-top: 0;
	margin-bottom: 25px;
}

.post-header a
{
	color: #000;
}

.post-list ul
{
	list-style-type: none;
	padding-left: 0;
}

.post-list li
{
	margin: 0 0 10px;
}

.post-list li span
{
	color: #777;
}

.post-list li a
{
	font-weight: bold;
	font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
}

.page-projects li
{
	border-bottom: 1px solid #eee;
	margin-bottom: 10px;
	padding: 0 7px;
}
.page-projects ul
{
	border-top: 1px solid #eee;
	list-style-type: none;
	padding: 10px 0 0 0;
}

.error-message h1
{
	margin-bottom: 15px;
}

.error-message p
{
	margin-bottom: 15px;
}

.badge-light
{
	background-color: whitesmoke;
	font-weight: normal;
	color: #999;
}

.table.text-center th
{
	text-align: center !important;
}

.footer
{
	margin-top: 30px;
	padding: 40px 0 50px 0;
	text-align: center;
	color: #777;
	border-top: 1px solid #eee;
}

.footer .copyright
{
	margin: 0;
}

.footer .copyright a
{
	font-family: "Grand Hotel", "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
	font-size: 36px;
	color: inherit;
	transition: color 0.5s ease;
}

.footer .copyright a:hover
{
	color: #0079ff;
}

.reverse {
	unicode-bidi: bidi-override;
	direction: rtl;
}

.ansi-white-fg, .ansi-bright-white-fg { color: rgb(0,0,0); }
.ansi-red-fg, .ansi-bright-red-fg { color: rgb(255,51,52); }
.ansi-green-fg, .ansi-bright-green-fg { color: forestgreen; }
.ansi-yellow-fg, .ansi-bright-yellow-fg { color: orange; }
.ansi-blue-fg, .ansi-bright-blue-fg { color: blue; }
.ansi-magenta-fg, .ansi-bright-magenta-fg { color: rgb(183,119,224); }
.ansi-cyan-fg, .ansi-bright-cyan-fg { color: rgb(62,153,159); }
.ansi-black-fg, .ansi-bright-black-fg { color: gray; }