#timer-header {
  display: inline-block;
  
  width: 100%;
  
  box-sizing: border-box;
  
  padding: 0;
  padding-left: 5px;
  padding-top: 5px;
  padding-bottom: 5px;
  
  text-align: center;
  
  font-size: 15pt;
  
  margin: 0;
  
  border-bottom: 6px solid mediumblue;
  
  background-color: dodgerblue;
}

#timer {
	display: block;
	
	box-sizing: border-box;
	
	width: 25%;
	height: 100px;
	
	float: right;
	
	position: relative;
	right: 5px;
	
	padding: 0;
	padding-top: auto;
	padding-bottom: auto;
	
	margin-top: 5px;
	margin-bottom: 5px;
	margin-left: 5px;
	margin-right: auto;
	
	text-indent: 0;
	text-align: center;
	
	border-right: 4px solid mediumblue;
	border-bottom: 4px solid mediumblue;
	border-top: 2px solid cyan;
	border-left: 2px solid cyan;

	background-color: lightgrey;
}