* {
    padding: 0;
    margin: 0;
}

header {
    background: rgba(0,0,0,0.9);
    width: 100%;
    position: fixed;
    z-index: 100;
}
/* Navbar container */
.navbar1 {
  height: 60px;
  overflow: hidden;
  background-color: rgb(2, 88, 119);
  font-family: Arial;
}

/* Links inside the navbar */
.navbar1 a {
  float: left;
  font-size: 22px;
  color: white;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
}

/* The dropdown container */
.dropdown3 {
  float: left;
  overflow: hidden;
}

/* Dropdown button */
.dropdown3 .dropbtn3 {
  font-size: 22px;
  border: none;
  outline: none;
  color: white;
  padding: 14px 16px;
  background-color: inherit;
  font-family: inherit; /* Important for vertical align on mobile phones */
  margin: 0; /* Important for vertical align on mobile phones */
}

/* Add a red background color to navbar links on hover */
.navbar1 a:hover, .dropdown:hover .dropbtn {
  background-color: red;
}

/* Dropdown content (hidden by default) */
.dropdown-content1 {
  color: white;
  display: none;
  position: absolute;
  background-color: #062c33;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

/* Links inside the dropdown */
.dropdown-content1 a {
  float: none;
  color: white;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
  text-align: left;
}

/* Add a grey background color to dropdown links on hover */
.dropdown-content1 a:hover {
  background-color: #b8daff;
  color: black;
}

/* Show the dropdown menu on hover */
.dropdown3:hover .dropdown-content1 {
  display: block;
}

h1{
    font-size: 80px;
    font-weight: bolder;
}

#div7{
    display: inline-block;
    padding-left: 20px;
    padding-bottom: 20px;
    font-size: 80px;
    font-weight: bolder;
}

#divIMG{
    display: inline-block;
    padding-top: 20px;
    padding-left: 20px;
     padding-right: 20px;
}

#contenedor{
    padding-bottom: 20px;
    height: 150px;
}

.dropdown-backdrop {
  position: static;
}


.consola_resultado{
  width: 100%; 
  height: 300px;color: 
  white; font-size: 20px;
    margin-bottom: 40px; 
    background-color: black;
}

textarea{
	width: 555px;
	height: 270px;
	font-size: 20px;
	padding: 10px;
	line-height: 30px;
	border-radius: 3px;
	border: 1px solid #aaaaaa;
}

#abrir1{
  font-size: 13px;
}