
div.pub {}

span.pub_title {
	font-weight: bold;	
}

span.pub_authors {
	font-style: italic;	
}

span.pub_conf {}

span.pub_type {
	float:right;
}

span.pub_text {}


a.pub_links {}


div.pub_keyword {	
	font-size:0.625em;
	padding:1px 1px;
	border-style:solid;
	border-width:1px;  
}

.tooltip {
    position: relative;
    display: inline-block;
    border-bottom: 1px dotted black;
}

.tooltip .tooltiptext {
 font-family: Monospace; 
 visibility: hidden;
 width: 350px;
 background-color: #555;
 color: #fff;
 text-align: left;
 border-radius: 6px;
 padding: 5px;
 position: absolute;
 z-index: 1;
 bottom: 125%;
 left: 50%;
 margin-left: -160px;
 margin-top: 60px;
 opacity: 0;
 transition: opacity 1s;
}
/* removed because otherwise is not possible to select (for cut&paste) the tooltiptext
.tooltip .tooltiptext::after {
 content: "";
 position: absolute;
 top: 100%;
 left: 50%;
 margin-left: -5px;
 border-width: 5px;
 border-style: solid;
 border-color: #555 transparent transparent transparent;
}
*/

.tooltip:hover .tooltiptext   {
 visibility: visible;
 opacity: 1;
}

