/*
==========================================================================
logo.css
==========================================================================
Some CSS to resize the logo
*/

.wy-side-nav-search .wy-dropdown > a img.logo, .wy-side-nav-search > a img.logo {
  width: 70%;
}