/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */
   
@import url('fonts.css');

* {
  padding: 0;
  box-sizing: border-box;
}

body {
  background-color: whitesmoke;
  color: black;
  font-family:'Liberation Serif';
  line-height: 1.5em;
  width: 65%;
  margin: auto;
  padding: 8px;
}

a {
  color: darkslateblue;
}

.hidden {
  visibility: hidden;
}
.glider {
  display: block;
}

.title {
  width: fit-content;
  border-bottom: 4px solid black;
  line-height: 1.3em;
}

.page-title {
  font-size: 1.8rem;
  margin-top:0;
}

.text-paragraph {
  text-align: justify;
}

.programlisting {
  width: 90%;
  padding: 5pt;
  margin-left: auto;
  margin-right: auto;
  background-color: lightgray;
  border: 0.5px solid gray;
  font-size: small;
  font-family: 'Liberation Mono';
  line-height: 1.2em;
  overflow-x: auto;
}

.programline {
  padding: 1pt;
  background-color: lightgray;
  border: 0.5px solid gray;
  font-family: 'Liberation Mono';
  font-size: small;
}

.nav-links a {
  display: block;
}

.nav-links {
  display: flex;
  justify-content: space-between;
}

#links li {
  display: block;
}

#links > ul {
  display: flex;
  gap: 1rem;
} 

#posts {
  padding-left: 1.5rem;
} 

#buttons {
  padding-top: 1rem;
  border-top: 4px solid black;
  display: flex;
  gap: 5px;
}

#page-footer {
  margin-top: 2rem;
  border-top: 4px solid black;
}

#page-footer p {
  margin-top: 0.4rem;
} 

@media screen and (max-width: 700px) {
  body {
    width: 100%;
  }
  .programlisting {
    font-family: monospace;
  }
  .programline {
    font-family: monospace;
  }
}

@media print {
  body {
    width: 100%;
  }
}