@charset "UTF-8";


#smallci {
    font-variant: small-caps;
}


p.motto{
	margin-left: 300px;
	font-size: 14px;}

p.quotation{
	font-size: 15px;
	margin-left: 50px;}

p.axrule{
	border-top: 1px solid;
	margin:0px;
	padding:0px;
}

p.term{
	font-size:14px;
	margin-left:60px;
	margin-top: 0px;
	padding-top: 0px;
}

p.cseaxiom{
	border-bottom: 1px solid;
	margin-left:60px;
	margin-bottom: 3px;
}

p.cseaxiomcentered{
	margin-left:auto;
	margin-right:auto;
	margin-bottom: 3px;
}

p.cseaxiomtext{
	font-size: 14px;
	border-bottom: 1px solid;
	margin-left:60px;
	margin-bottom: 3px;
}

p.predexample{
	font-family: sans-serif;
	font-size: 14px;
	margin-left:60px;
	margin-bottom: 10px;
}

p.centeredsymbol{
	margin-left:auto;
	margin-right: auto;
	width: 1em;
}

table.centeredtable{
	margin-left: auto;
	margin-right: auto;
	margin-top: 10px;
	margin-bottom: 20px;
	padding-bottom: 10px;
}

table.leftedtable{
	margin-left: 60px;
	margin-top: 10px;
	margin-bottom: 20px;
}

p.csetitle{
    font-size: 128px;
	border-bottom: 1px dotted grey;
	font-family: serif;
	margin-bottom: 150px;
	font-weight: lighter;
}

.langref{
	font-variant: small-caps;
}

.textit{
	font-style: italic;
}

.concept {
    font-variant: small-caps;
	font-weight: 100;
}

.constr{
    font-weight: bold;
	font-size: 15px;
	font-family:sans-serif;
}

.rel{
    font-weight: bold;
	font-family:sans-serif;
}

.small{
    font-size: 15px;
}

.scriptsize{
	font-size: 12px;
}

tr.solidborderedrow{
	border-bottom: 1px solid;
}

tr.doubleborderedrow{
	border-bottom: 2px solid;
}

td.nodoubleborderedrow{
	border-bottom: 0px;
}



a.csecite:focus { background: #ffcc99;
  }
a.csecite:link {  
  font-family: Helvetica, sans-serif;
  font-size: 13px;
  color: black;
  font-weight : bolder;
  text-decoration: none;
  }
a.csecite:visited {  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
  color: black;
  text-decoration: none;
  }
a.csecite:hover {  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
  color: red;
  font-weight : bolder;
  text-decoration: underline;
  }
a.csecite:active {  font-family: Arial, Helvetica, sans-serif;
  font-size: 13px;
  color: orange;
  text-decoration: none;
  }

div.coregame{
	border:1px solid;
	width:100%;
}

div.cggeom{
	width: 200px;
}

div.cgprefmatrix{
	position:relative;
	width: 200px;
	float:left;
}

div.cgtraffic{
	position:relative;
	width: 110px;
	float:left;
}

div.cgnumber{
	position:relative;
	width: 380px;
	float:left;
}

 div.divpaper{
	 margin: 10px auto 10px auto; 
	 width: 100%; 
	 border: 0px solid; 
	 border-color:#dddddd; 
	 background-color:#FFFFFF;
	 box-shadow: 5px 0px 5px 0px #999;
	 padding: 70px;
 }


p.tldesc {font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
  color: dark grey;
  }

hr.red { display: block; height: 1px;
    border: 0; border-top: 1px solid #ccc;
    margin: 1em 0; padding: 0; }


/*body {
  background : #fff;
  color : black;
  padding-top : 10px;
  vertical-align : top;
  padding-left : 10px;
  font-family : Lora, serif, lora, georgia, Times, Verdana, Helvetica, sans-serif;
  font-size: 18px;
  color: #444444;
  text-align:left;
  line-height: 130%;
	}
*/

p.tlexample{
	font-family: sans-serif;
	font-size: 12px;}
p.tlexplain{
	font-size: 16px;}
	margin-left: 30;

img.tllsh{
/*   	display: block;
    margin-left: auto;
    margin-right: auto; */
	border-style:solid;
   	border-width:thin;
	border-color:#dddddd;
	box-shadow: 3px 3px 3px #AAAAAA;
}

div.topvideocontent a{ color: #000; text-decoration: underline;}

p.tablelead{
	color: #FFF;
}
p.tablelead a{color:#FFF;font-size: 20px;}

p.tablelead a:hover{
color:#FFF;font-size: 20px;
}

p.tablelead a:visited{
color:#FFF;font-size: 20px;
}

p.tablelead a:link{
color:#FFF;font-size: 20px;
}

p.tablelead a:active{
color:#FFF;font-size: 20px;
}

img.tlsh {
	display: block;
	margin-left: auto;
	margin-right: auto;
	border-style:solid;
	border-width:thin;
	border-color:#FFFFFF;
	box-shadow: 2px 2px 2px #CCCCCC;
}

img.ohsh{
   	border-style:solid;
   	border-width:thin;
	border-color:#dddddd;
	box-shadow: 3px 3px 3px #888888;
}

li.tli{font-size: 18px;padding-top : 20;font-weight:100;}
li.ref{font-size: 16px;padding-top : 20;font-weight:100;}
li.tabl{font-size: 15px;padding-top : 10;}


#heightmaximizer img {
   	border-style:solid;
   	border-width:thin;
	border-color:#dddddd;
   	max-height: 80px;
}

table{font-size: 14px; border-spacing: 5px; border-collapse:collapse}
tr.bordbott{ border-bottom: 1px solid #000 }

/*
a:focus { background: #ffcc99;
  }
a:link {  
	font-family: Helvetica, sans-serif;
  font-size: 15px;
  color: black;
  font-weight : bolder;
  text-decoration: none;
  }
a:visited {  font-family: Arial, Helvetica, sans-serif;
  font-size: 15px;
  color: black;
  text-decoration: none;
  }
a:hover {  font-family: Arial, Helvetica, sans-serif;
  font-size: 15px;
  color: red;
  font-weight : bolder;
  text-decoration: underline;
  }
a:active {  font-family: Arial, Helvetica, sans-serif;
  font-size: 15px;
  color: orange;
  text-decoration: none;
  }
*/

/* tex-parancsok elrejtésére*/
        .visually-hidden {
            position: absolute;
            width: 1px;
            height: 1px;
            padding: 0;
            margin: -1px;
            overflow: hidden;
            clip: rect(0, 0, 0, 0);
            white-space: nowrap;
            border: 0;
        }