:root {
  --blue: #0e406e;
  --green: MediumSeaGreen;
  --white: White;
  --grey: Grey;
}
/* MediumSeaGreen #3CB371   */
/*   #0e406e   #707FEFE3    color #3CB371  #0E406E rgb(60,179,113)
rgba(14,64,110,0.5)   */
* {
  box-sizing: border-box;
}

body {
  font-family: Arial, Helvetica, sans-serif;
}

/* Style the header */
header {
  background-color: #aaa;
  padding: 10px;
  text-align: center;
  font-size: 1.5em;
  color: var(--blue);
  border-style:ridge;
}

/* Create two columns/boxes that floats next to each other */
nav {
  float: left;
  width: 30%;
/*  height: 300px;  only for demonstration, should be removed */
  background: #ccc;
  padding: 20px;
}

/* Style the list inside the menu */
nav ul {
  list-style-type: none;
  padding: 0;
}

article {
  float: left;
  padding: 20px;
  width: 70%;
  background-color: #f1f1f1;
/*  height: 300px;  only for demonstration, should be removed */
}

/* Clear floats after the columns */
section::after {
  content: "";
  display: table;
  clear: both;
}

/* Style the footer */
footer {
  background-color: #777;
  padding: 10px;
  text-align: center;
  color: white;
}
button.ws-btn {
  padding: 12px 18px;
  margin: 6px 8px;
  color: var(--white);
  background-color: var(--grey);
}
span.btn {
  border: 5px solid var(--blue);
  padding:  0em 1em;
  border-radius: 6px;
  font-size: 1em;
  line-height: 2;
  background-color: var(--blue);
  color: var(--white);
}
div.btn {
  border: 5px solid var(--grey);
  padding:  0em 1em;
  border-radius: 6px;
  font-size: 1em;
  line-height: 2;
  background-color: var(--white);
  color: var(--blue);
}
p.def {
	font-size: 0.5em;
	background-color: var(--blue);
	color: var(--white);
	}
div.titl {
	background-color: var(--blue);
	padding: 12px 18px;
}
/* Responsive layout - makes the two columns/boxes stack on top of each other instead of next to each other, on small screens */
@media (max-width: 600px) {
  nav, article {
    width: 100%;
    height: auto;
  }
}