@CHARSET "UTF-8";

#admin-menu {
  font-size: 12px;
}

body {
  color: black;
  background-color: white;
}

div.geshifilter {
  border: solid thin gray50;
  background-color: #fffff8;
  padding: 0.5em 0.5em;
  box-shadow: 0.2em 0.2em 2em grey;
  width: 60em; 
}

div.geshifilter:hover {
  width: 100%;
}

code {
  border: none;
  background-color: #fffff0;
  padding: 0.2em 0.5em;
  text-shadow: 0.2em 0.2em 2em grey; 
}