window {
  /*background: rgba(255, 255, 255, 0.35);*/
  background: transparent;
  border-radius: 20px;
	border-style: none;
	border-width: 0px;
	border-color: rgba(156, 142, 122, 0.7);
}

#box {
  /* Define attributes of the box surrounding icons here */
  margin: 2px 30px 7px 30px;
  background: rgba(255, 255, 255, 0.35);
  padding: 0px 4.5px 5px 4.5px;
  /*box-shadow: rgba(0, 0, 0, 1) 0px 0px 10px -5px;*/
  border-radius: 20px;
}

#active {
	/* This is to underline the button representing the currently active window */
	/*border-bottom: solid 1px;*/
	/*border-color: rgba(255, 255, 255, 0.3)*/
}

button, image {
	background: none;
	border-style: none;
	box-shadow: none;
	color: #999
}

button {
	padding: 0px 0px 0px 0px;
  margin: 5px 3.5px 5px 3.5px;
  transition-property: margin;
  transition-duration: 0.13s;
  transition-timing-function: ease;
	/*color: #eee;*/
  /*font-size: 40px;*/
}

button:hover {
	background-color: rgba(255, 255, 255, 0.15);
  margin: 0px 3px 4px 3px;
	border-radius: 15px;
}

button:focus {
	box-shadow: none
}
