@font-face {
    font-family: 'Latin Modern Roman';
    src: url('../fonts/lmroman-bolditalic-webfont.eot');
    src: url('../fonts/lmroman-bolditalic-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/lmroman-bolditalic-webfont.woff') format('woff'),
         url('../fonts/lmroman-bolditalic-webfont.ttf') format('truetype');
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: 'Latin Modern Roman';
    src: url('../fonts/lmroman-bold-webfont.eot');
    src: url('../fonts/lmroman-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/lmroman-bold-webfont.woff') format('woff'),
         url('../fonts/lmroman-bold-webfont.ttf') format('truetype');
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: 'Latin Modern Roman';
    src: url('../fonts/lmroman-italic-webfont.eot');
    src: url('../fonts/lmroman-italic-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/lmroman-italic-webfont.woff') format('woff'),
         url('../fonts/lmroman-italic-webfont.ttf') format('truetype');
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: 'Latin Modern Roman';
    src: url('../fonts/lmroman-regular-webfont.eot');
    src: url('../fonts/lmroman-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/lmroman-regular-webfont.woff') format('woff'),
         url('../fonts/lmroman-regular-webfont.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'Latin Modern Sans';
    src: url('../fonts/lmsans-regular-webfont.eot');
    src: url('../fonts/lmsans-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/lmsans-regular-webfont.woff') format('woff'),
         url('../fonts/lmsans-regular-webfont.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'Latin Modern Sans';
    src: url('../fonts/lmsans-bold-webfont.eot');
    src: url('../fonts/lmsans-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('../fonts/lmsans-bold-webfont.woff') format('woff'),
         url('../fonts/lmsans-bold-webfont.ttf') format('truetype');
    font-weight: bold;
    font-style: normal;
}

body {
	background-color: white;
	font-family: 'Latin Modern Sans', sans;
	counter-reset: theorem;
	counter-reset: definition;
}

h1, h2, h3, h4, h5, h6 {
	border: none;
	font-weight: bold;
}

a, a:visited {
	color: #b61614;
}

ul {
	list-style: disc;
}

/* Content Box */

.article header h2  {
	text-align: center;
	display: block;
}

/* Article Body */

body {
	text-align: justify;
	-moz-hyphens: auto;
	-webkit-hyphens: auto;
	hyphens: auto;
  padding: 0 1em;
}

h1, h2 {
	-moz-hyphens: none !important;
	-webkit-hyphens: none !important;
	hyphens: none !important;
}

dl dd {
	/* center definitions (most useful for display equations) */
	text-align: center;
}

@media (min-width: 43.75em) {
  body {
    padding: 0;
  }
}


.theorem {
	 counter-increment: theorem;
    display: block;
    margin: 12px 0;
    font-style: italic;
}
.theorem:before {
 content: "Theorem " counter(theorem) ".";
     font-weight: bold;
    font-style: normal;
}
.lemma {
	 counter-increment: theorem;
    display: block;
    margin: 12px 0;
    font-style: italic;
}
.lemma:before {
	content: "Lemma " counter(theorem) ".";
    font-weight: bold;
    font-style: normal;
}
.proof {
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.proof:before {
    content: "Proof.";
    font-style: italic;
}
.proof:after {
    content: "25FB";
    float:right;
}
.definition {
	 counter-increment: definition;
    display: block;
    margin: 12px 0;
    font-style: normal;
}
.definition:before {
 content: "Definition " counter(definition) ".";
     font-weight: bold;
    font-style: normal;
}

.author {
	margin-top: 8px;
	margin-bottom: 8px;
  	font-variant-caps: small-caps;
  	text-align: center;
}

.no-center{
  text-align: left;
}

.references, .subtitle{
  text-align:left;
}

.mycols, .mycoll{
  padding: 3rem;
  margin-left: 1%;
  margin-right: 1%;
 }

@media (min-width: 1200px) {
  .mycols{
    width: 31.33%; /* 27 */
    float: left;
   }
  .mycoll{
    width: 31.33% ; /* old: 40 */
    float: left;
   }
}

.col{
	padding-right: 0;
	padding-left: 0;
}

.grid > .col{
	padding-right: 5px;
}

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

.responsive-menu label{
	line-height: unset;
}

@media (max-width: 767px) {
	.article header h2, .article header h2 a{
		font-size: 3rem;
	}
}

button, input, select, textarea{
	height: auto;
}