@font-face
{
	font-family: Lato;
	font-style: normal;
	font-weight: normal;
	src: url(../fonts/Lato.woff);
}

@font-face
{
	font-family: Maths;
	font-style: italic;
	font-weight: normal;
	src: url(../fonts/cmunti.otf);
}

@font-face
{
	font-family: Maths;
	font-style: normal;
	font-weight: normal;
	src: url(../fonts/cmunui.otf);
}

@font-face
{
	font-family: latin-modern-maths;
	font-style: normal;
	font-weight: normal;
	src: url(../fonts/latinmodern-math.otf);
}

/*-------------------------------------------------
	Body and misc styles
--------------------------------------------------*/

body
{
	margin:30px auto;
	padding: 30px;
	max-width: 800px;
	font-family: Lato, Helvetica, sans-serif;
	font-size : 18px;
	text-align: left;
}

.logo {
  margin-left: -10px;
  width: 170px;
  height: 120px;
  background: url("../img/logo_small.png");
  background-size: 170px 120px;
  border: 0;
  display:inline-block;
}

.logo-quote-wrapper {
  font-size: 12pt;
  margin-top: 10px;
  margin-bottom: 30px;
  margin-left: 30px;
  display:inline-block;
  width: calc(100% - 220px);
  vertical-align: top;
}

@media only screen and (max-width: 500px)
{
	.logo-quote-wrapper {
		display: none;
	}
}

.logo-quote-wrapper .quote {
  font-style: italic;
}

.logo-quote-wrapper .quote-src {
  margin-top: 10px;
  margin-right: 30px;
  text-align: right;
}

video
{
	width: 100%;
}

div#footer
{
	display: block;
	height: 100px;
}

div#menu
{
	margin-top: -30px;
	height: 49px;
	width: 100%;
	border-bottom: 2px solid #707070;
}

@media only screen and (max-width: 500px)
{
	div#menu
	{
		margin-top: 0px;
	}
}


ul#tabs li
{
	display: inline;
	float: right;
}

ul#tabs li a
{
	transition-property: height, position, top, font;
	-ms-transition-property: height, position, top, font;
	-moz-transition-property: height, position, top, font;
	-webkit-transition-property: height, position, top, font;
	-o-transition-property: height, position, top, font;

	transition-duration: 0.5s;
	-ms-transition-duration: 0.5s;
	-moz-transition-duration: 0.5s;
	-webkit-transition-duration: 0.5s;
	-o-transition-duration: 0.5s;

	display: block;

	position: relative;
	top: 0px;
	bottom: 0px;

	height: 25px;

	padding-top:12px;
	padding-bottom: 12px;
	padding-left: 20px;
	padding-right: 20px;

	background-color: #505050;
	font-size: 18px;
        font-weight : bold;

	text-decoration: none;
	color: #FFFFFF;
}

body#index li.index a, body#about li.about a
{
	height: 35px;
	position: relative;
	top: -10px;

	background-color: #707070;
	color: #FFFFFF;

	font-size: 24px;
	font-weight : bold;
}

body#index li.index a:hover, body#about li.about a:hover
{
	background-color: #C0C0C0;
	color: #FFFFFF;
}

ul#tabs li a:hover
{
	height: 35px;
	position: relative;
	top: -10px;

	font-size: 24px;
	font-weight : bold;
	color: #000000;
	background-color: #C0C0C0;
}

a
{
	font-weight: bold;
	text-decoration: none;
	color: #6895e3;
}

a:hover
{
    font-weight : bold;
    color: #3465bb;
}

body#index a
{
	color: #555555;
}

body#index a:hover
{
	color: #aaaaaa;
}


a img
{
	border: none;
}

img
{
	max-width: 100%;
	-ms-interpolation-mode: bicubic;
}

figure
{
    padding-top: 1em;
    padding-bottom: 1em;
    text-align: center;
}

figure img
{
	display: block;
	margin-left: auto;
	margin-right: auto;
}

figcaption
{
    padding-top: 0.5em;
    text-align: center;
    font-size: 16px;
}


@media (hover: none) and (pointer: coarse)
{
	/* Make the links more easily clickable on touch devices */
	div.contents * a
	{
		padding-top: 10px;
		padding-bottom: 10px;
		margin-top: 4px;
		margin-bottom: 4px;
		display:inline-block;
	}
}

div.contents
{
	text-align: justify;
}

/*-------------------------------------------------
	Headings
--------------------------------------------------*/
h1 {
	margin-bottom: 50px;
}
/*-------------------------------------------------
	Maths styles
--------------------------------------------------*/

sup, sub {
  vertical-align: baseline;
  position: relative;
  top: -0.4em;
}
sub {
  top: 0.4em;
}

.regular
{
	font-style: normal;
}

.maths
{
	font-family: Maths;
	font-style: italic;
	font-size: 18px;
}

.maths .sqrt-symbol
{
	font-family: Maths;
	font-style: normal;
	font-size:1.37em;
}

.maths .sqrt-arg
{
	margin-left:-0.1em;
	border-top: 0.1em solid black;
}

.maths .fraction
{
	display:inline-block;
	vertical-align:-0.8em;
	text-align: center;
}

.maths .fraction .numerator
{
	display:block;
}

.maths .fraction .denominator
{
	display:block;
	border-top: 1px solid;
}

.maths .n-sum-product
{
	display:inline-block;
	vertical-align:-1.2em;
	text-align: center;
}

.maths .range-min, .maths .range-max
{
	display:block;
	font-size:0.8em;
}

.maths .range-max
{
	line-height: 0.7em;
}

.maths .n-op-symbol
{
	font-family: latin-modern-maths;
	font-size:1.8em;
	font-style:normal;
	display:block;
}

.maths .op, .maths .rel, .maths .symbol
{
	font-family: latin-modern-maths;
	font-style: normal;
}

.maths .vector
{
	font-family: latin-modern-maths;
	font-style: italic;
}

.maths .digit, .maths .delim
{
	font-style: normal;
}

/*-------------------------------------------------
	Code styles
--------------------------------------------------*/

pre
{
	background-color: #CCCCCC;
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 10px;
	padding-right: 10px;
	overflow: auto;
}

code
{
	font-family:Courier;
	font-size:12pt;
}

pre.code code
{
	font-size:11pt;
}

.code, pre.code code
{
	font-family: Courier;
	white-space: pre;
}

div.code, p.code, pre.code
{
	background-color: #CCCCCC;
	margin-top: 20px;
	margin-bottom: 20px;
	padding-top: 10px;
	padding-bottom: 10px;
	padding-left: 10px;
	padding-right: 10px;
	overflow: auto;
	line-height: 125%;
	font-size: 11pt;
	text-align: left;
}

.code .keyword
{
	color:#AA00AA;
	font-weight: bold;
}

.code .type
{
	color:#CC5500;
/*	font-weight: bold;*/
}

.code .preproc
{
	color:#0055AA;
	font-weight: bold;
}

.code .function-name
{
	color:#2222FF;
}

.code .comment, .code .comment .keyword, .code .comment .type, .comment .code .preproc
{
	color:#007700;
	font-weight: normal;
}

.code .string
{
	color: #AA0000;
};

.code .syntax-error
{
	color:#FF0000;
	font-style:italic;
}