body,
  h1 {
    font-family: 'Courier New', monospace;
  }

  h1 {
    letter-spacing: 6px
  }

  .w3-row-padding img {
    margin-bottom: 12px
  }
    
p{
    font-family:'Courier New', monospace;
    
}



.code{
  width:700px;
  text-align:justify;
}

  #box2:link, #box2:visited {
  /* background-color: #616161; */
  border-style: solid;
  border-width: 1px;
  color: black;
  padding: 14px 25px;
  text-align: center;
  font-family: 'Courier New', monospace;
  font-size: 15px;
  letter-spacing: 2px;
  text-decoration: none;
  /* display: inline-block; */
  /* margin-bottom: 10px; */
}

#box2:hover, #box:active {
  /* background-color: #5e5e5e; */
  /* text-decoration: underline; */
  font-weight: bold;
  border-style: solid;
  border-width: 1px;
  font-size: 17px;
}





* {box-sizing: border-box}
/* body {font-family: Verdana, sans-serif; margin:0} */
.mySlides {display: none}
img {vertical-align: middle;}

/* Slideshow container */
.slideshow-container {
  max-width: 800px;
  position: relative;
  margin: auto;
  margin-bottom:-10px;
}

/* Slideshow container */
.slideshow-container2 {
  max-width: 800px;
  position: relative;
  margin: auto;
  margin-bottom:-10px;
}

/* Next & previous buttons */
.prev, .next {
  cursor: pointer;
  position: absolute;
  top: 50%;
  width: auto;
  padding: 16px;
  margin-top: -22px;
  color: white;
  font-weight: bold;
  font-size: 18px;
  transition: 0.6s ease;
  border-radius: 0 3px 3px 0;
  user-select: none;
}

/* Position the "next button" to the right */
.next {
  right: 0;
  border-radius: 3px 0 0 3px;
}

/* Position the "prev button" to the right */
.prev {
  left: 0;
  border-radius: 3px 0 0 3px;
}

/* On hover, add a black background color with a little bit see-through */
.prev:hover, .next:hover {
  background-color: rgba(0,0,0,0.8);
}

/* Caption text */
.text {
  color: #f2f2f2;
  font-size: 15px;
  padding: 8px 12px;
  position: absolute;
  bottom: 8px;
  width: 100%;
  text-align: center;
}

/* Number text (1/3 etc) */
.numbertext {
  color: #f2f2f2;
  font-size: 12px;
  padding: 8px 12px;
  position: absolute;
  top: 0;
}

/* Number text (1/3 etc) */
.numbertext2 {
  border: none;
  background: rgba(0, 0, 0, 0.5);
  color: #f2f2f2;
  font-size: 12px;
  padding: 8px 12px;
  position: absolute;
  top: 0;
}
/* The dots/bullets/indicators */
.dot  {
  cursor: pointer;
  height: 7px;
  width: 7px;
  margin: 0 2px;
  background-color: #bbb;
  border-radius: 50%;
  display: inline-block;
  transition: background-color 0.6s ease;
}

.active, .dot:hover {
  background-color: #717171;
}

/* The dots/bullets/indicators */
.dot2  {
  cursor: pointer;
  height: 7px;
  width: 7px;
  margin: 0 2px;
  background-color: #bbb;
  border-radius: 50%;
  display: inline-block;
  transition: background-color 0.6s ease;
}

.active, .dot2:hover {
  background-color: #717171;
}

/* Fading animation */
.fade {
  -webkit-animation-name: fade;
  -webkit-animation-duration: 1.5s;
  animation-name: fade;
  animation-duration: 1.5s;
}

@-webkit-keyframes fade {
  from {opacity: .4}
  to {opacity: 1}
}

@keyframes fade {
  from {opacity: .4}
  to {opacity: 1}
}

/* On smaller screens, decrease text size */
@media only screen and (max-width: 300px) {
  .prev, .next,.text {font-size: 11px}
}