div.blue {
  padding: 10px;
  background-color: #8DC8E8;
  }
  
  ol {
    list-style: none;
       padding-inline-start: 0px;
  }
  
  ul.inline li {
      display: inline-block;
      margin: 0 20px 0 0;
  }
  
  #web-search-input {
  width:100%;
  }
  

  form input {
      padding: 15px;
      font-size: 1.25em;
      line-height: .25;    
      color: #495057;
      background: none;
      background-color: #fff;
      background-clip: padding-box;
      border: 1px solid #ced4da;
  }

.applied .search-result a[href$=".pdf"]::after {
  display: none !important;
}


.applied .search-result a[href$=".pdf"] {
 	margin-right: 0; 
}