li{
	padding:5px;
}


/* width */
::-webkit-scrollbar {
    width: 8px;
}

/* Track */
::-webkit-scrollbar-track {
    box-shadow: inset 0 0 5px grey; 
    border-radius: 20px;
}
 
/* Handle */
::-webkit-scrollbar-thumb {
    background: #0064b1; 
    border-radius: 20px;
}

/* Handle on hover */
::-webkit-scrollbar-thumb:hover {
    background: grey; 
}

h2 {
	font-size:25px;
	color: #0064b1;
}

span.pub_title {
	background-color:white;
    color:green;
}

.paper_title {
    color: #0064b1;
    font-weight: bold;
}

active {
  background-color: dodgerblue;
  color: white;
}
a {
    color: #7b68ee;
}

a:hover {  
    color: #f58026;
}


.fa {
  padding: 15px;
  font-size: 20px;
  width: 50px;
  text-align: center;
  text-decoration: none;
  margin: 5px 2px;
  border-radius: 50%;
}

a:hover {
    text-decoration: none;
}

.button {
    background-color: #4CAF50; /* Green */
    border-radius: 15px;
    color: white;
    padding: 1px 2px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 14px;
    margin: 2px 2px;
    -webkit-transition-duration: 0.4s; /* Safari */
    transition-duration: 0.4s;
    cursor: pointer;
}

.video {
    background-color: green; 
    color: white; 
    border: 2px solid green;
}

.video:hover {
    background-color: white;
    color: green;
}

.online_demo {
    background-color: #0064b1; 
    color: white; 
    border: 2px solid #0064b1;
}

.online_demo:hover {
    background-color: white;
    color: #0064b1;
}




.links {
    background-color: #0064b1; 
    color: white; 
    border: 2px solid #0064b1;
}

.links:hover {
    background-color: white;
    color: #0064b1;
}
.PDF {
    background-color: black; 
    color: white; 
    border: 2px solid black;
}

.PDF:hover {
    background-color: white;
    color: black;
}

a {
    color: #0064b1;  
}

a:hover {  
    color: #f58026;
}


.misc {
    background-color: rgb(255, 106, 0); 
    color: white; 
    border: 2px solid rgb(255, 106, 0); 
}

.misc:hover {
    background-color: white;
    color: rgb(255, 106, 0); 
}