h1 {
    color: red;
    font-size: 25px;
    font-family: Helvetica;
}

p {
    color: blue;
    font-size: 16px;
    font-family: Helvetica;
}

/* From 4.1.3:   
  Comments in CSS are similar to HTML
  but they use a different syntax. They
  start with:
    /*
  and end with:
    */
    
.halloween {
    color: orange;
    font-size: 18px;
    font-family: Cursive;
}

iframe {
    border-style: dotted;
    border-width: 5px;
    border-color: 
    
}

/* navigation buttons code below: */

span.round {
  border: 2px solid red;
  border-radius: 12px;
  padding: 5px;
  background-color: lightblue;
}  
  
a.button {
    text-decoration: none;
}

#current {
    background-color: blue;
}

a.button:visited {
    color:white;
}



/* progress bar code below: */

progress[value] {
  --color:  /* the progress color */
    linear-gradient(#fff8,#fff0),
    repeating-linear-gradient(135deg,#0003 0 10px,#0000 0 20px),
    #31c6f7; 
  --background: lightgrey; /* the background color */

  -webkit-appearance: none;
  -moz-appearance: none;
  appearance: none;
  border: none;
  width: 200px;
  margin: 0 10px;
  border-radius: 10em;
  background: var(--background);
}
progress[value]::-webkit-progress-bar {
  border-radius: 10em;
  background: var(--background);
}
progress[value]::-webkit-progress-value {
  border-radius: 10em;
  background: var(--color);
}
progress[value]::-moz-progress-bar {
  border-radius: 10em;
  background: var(--color);
}

label {
  font-size: 20px;
  font-weight: bold;
  display: block;
  margin: 20px 0;
}