/* --------------------------- */
/* Agda Programming CSS - Version 2
/* --------------------------- */

* {box-sizing: border-box;}

/* --------------------------- */
/* General
/* --------------------------- */

body {
  font-family: Arial, Helvetica, sans-serif;
  background-color: #343131;
  color: #ffffff;
  margin: 0;
  padding: 0;
}

main {
  padding: 5px 30px;
}

header {
  background-color: #e7f2fa;
  padding: 10px;
}

h1 {
  margin: 20px 0 0 0;
}

h2 {
  margin: 5px 0;
}

h3 {
  margin: 5px 0;
}

p {
  line-height: 150%;
  color: #ded4d4;
}

a {
  color: #ffffff;
  text-decoration: underline;
}

a:hover {
  text-decoration: underline ;
}

hr {
  border: 1px solid #f2f2f2;
}

ul {
  list-style-type: square;
  line-height: 150%;
}

li {
  margin: 10px 0;
}

/* --------------------------- */
/* Scollbars
/* --------------------------- */

/* width */
::-webkit-scrollbar {
  width: 15px;
  width: 15px;
}

/* Track */
::-webkit-scrollbar-track {
  background: #000; 
}
 
/* Handle */
::-webkit-scrollbar-thumb {
  background: #f7729b;
}

/* Handle on hover */
::-webkit-scrollbar-thumb:hover {
  background: #d26083; 
}

/* --------------------------- */
/* Navigation
/* --------------------------- */

/* Right-aligned link */
.header-top-nav a.header-top-nav-right {
  float: right;
}

/* Add a black background color to the top navigation */
.header-top-nav {
  background-color: #f7729b;
  overflow: hidden;
}

/* Style the links inside the navigation bar */
.header-top-nav a {
  float: left;
  display: block;
  color: #f2f2f2;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
  font-size: 17px;
}

/* Change the color of links on hover */
.header-top-nav a:hover {
  background-color: #d26083;
}

/* Add an active class to highlight the current page */
.header-top-nav a.active {
  background-color: #d26083;
  color: #ffffff;
}

/* Hide the link that should open and close the header-top-nav on small screens */
.header-top-nav .icon {
  display: none;
  padding: 7px 10px 4px 10px
}

/* --------------------------- */
/* Typography
/* --------------------------- */

.muted-text {
  color: #ded4d4;
}

.disclaimer-text {
  color: #ded4d4;
  font-size: small;
}

/* --------------------------- */
/* Announcement bar
/* --------------------------- */

.announcement-bar {
  background-color: #7550A6;
  text-align: center;
  font-size: smaller;
  padding: 10px;"
}

/* --------------------------- */
/* Breadcrumbs
/* --------------------------- */

.breadcrumbs {
  margin-top: 10px;
  font-style: italic;
}

/* --------------------------- */
/* Hero
/* --------------------------- */

.hero {
  margin-top: 20px;
  padding: 30px;
  font-size: 40px;
  text-align: center;
  background-color: #C64E39;
}

/* --------------------------- */
/* Right-Sidebar Layout
/* --------------------------- */

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

/* Create two unequal columns that floats next to each other */
/* Left column */
.leftcolumn {   
  float: left;
  width: 75%;
}

/* Right column */
.rightcolumn {
  float: left;
  width: 25%;
  padding-left: 20px;
}

/* --------------------------- */
/* Buttons
/* --------------------------- */
.code-copy-btn {
  padding: 8px 20px;
  color: #ded4d4;
  background-color: #e7f2fa;
  float: right;
  display: block;
  border: none;
  cursor: pointer;
}
.code-copy-btn:hover {
  color: #ffffff;
  background-color: #c04b4b;
}
.code-copy-btn:active {
  color: #ffffff;
  background-color: #240303;
}
.icon-background {
  margin-right: 5px;
  padding: 4px;
  display: inline-block;
  background-color: #e7f2fa;
}

/* --------------------------- */
/* Go to Top
/* --------------------------- */

#go-to-top {
  width: 100%;
  background-color:#f7729b;
  margin: 0 auto;
  cursor: pointer;
  display: block;
  border: 0px;
  padding: 5px;
}
#go-to-top:hover {
  background-color:#d26083;
}
#go-to-top svg {
  transform: rotate(-180deg);
}

/* --------------------------- */
/* Accordion
/* --------------------------- */

.accordion {
  background-color: #e7f2fa;
  color: #ffffff;
  cursor: pointer;
  padding: 18px;
  width: 100%;
  border: none;
  text-align: left;
  outline: none;
  font-size: 15px;
  transition: 0.4s;
}
.active {
  background-color: #3e0000; 
}
.accordion:hover {
  background-color: #7550A6; 
}
.accordion-panel {
  padding: 0 18px;
  display: none;
  color: #ded4d4;
  background-color: #e7f2fa;
  overflow: hidden;
}

/* --------------------------- */
/* Forms
/* --------------------------- */

/* Style inputs */
  input[type=text], input[type=email], input[type=password], select, textarea {
  color: #ffffff;
  width: 100%;
  padding: 12px 20px;
  margin: 8px 0;
  display: inline-block;
  border: 1px solid #ded4d4;
  background-color: #f7729b;
  box-sizing: border-box;
}

/* Style the submit button */
input[type=submit] {
  width: 100%;
  background-color: #f7729b;
  color: #ffffff;
  padding: 14px 20px;
  margin: 8px 0;
  border: none;
  cursor: pointer;
}

/* Add a background color to the submit button on mouse-over */
input[type=submit]:hover {
  background-color: #343131;
}

/* --------------------------- */
/* Pre Code
/* --------------------------- */

pre {
  margin: 0;
  line-height: 125%;
}
.pre-container {
  background: #240303;
  overflow:auto;
  width:auto;
  border:solid #c04b4b;
  border-width:.1em;
  padding:1em;
  clear: right;
}
.pre-gray { color: #7d7d7d; }
.pre-blue { color: #8FD2E7; }
.pre-green { color: #A4C73F; }
.pre-white { color: #F8F8F2; }
.pre-orange { color: #E39431; }
.pre-red { color: #D5296F; }
.pre-purple { color: #A07FFB; }
.pre-yellow { color: #E3DA7A; }

/* --------------------------- */
/* Copy Code Tip
/* --------------------------- */

.codecopytip {
  display:block;
  visibility: hidden;
  float:right;
  font-size: smaller;
  padding: 5px;
}
.codecopy:hover .codecopytip {
  visibility: visible;
  opacity: 1;
}

/* --------------------------- */
/* Images
/* --------------------------- */

img, svg {
  vertical-align: middle;
}
svg {
  vertical-align: -.3em;
}

.fakeimg {
  background-color: #e7f2fa;
  width: 100%;
  padding: 20px;
}

/* --------------------------- */
/* Cards
/* --------------------------- */

.card {
   background-color: #2980b9;
   padding: 20px;
   margin-top: 20px;
}
.card-no-margin-top {
   margin-top: 0;
}
.card-dark-inside {
   background-color: #e7f2fa;
   padding: 10px 20px;
}

/* --------------------------- */
/* Coupon Card
/* --------------------------- */

.container {
  padding: 2px 16px;
  background-color: #e7f2fa;
}

/* --------------------------- */
/* 4 column grid
/* --------------------------- */

/* Float four columns side by side */
.column {
  float: left;
  width: 25%;
  padding: 0 10px;
}

/* --------------------------- */
/* 2 column grid
/* --------------------------- */

/* Float four columns side by side */
.column-2 {
  float: left;
  width: 50%;
  padding: 0 10px;
}

/* --------------------------- */
/* Grid row correction
/* --------------------------- */

/* Remove extra left and right margins, due to padding in columns */
.grid-row {margin: 0 -10px;}

/* --------------------------- */
/* Tag Cloud
/* --------------------------- */

.tag-cloud {
  display: inline-block;
  color: #ded4d4;
  font-size: smaller;
  padding: 8px 20px;
  background-color: #e7f2fa;
  margin-top: 8px;
  text-decoration: none;
}
.tag-cloud:hover {
  color: #ffffff;
  text-decoration: underline;
  background-color: #7550A6;
}

/* --------------------------- */
/* Badges
/* --------------------------- */

.new-badge {
  background-color: #7550A6;
  font-size: smaller;
  padding: 4px 8px;
  text-align: center;
}

/* --------------------------- */
/* Timeline
/* --------------------------- */

/* The actual timeline (the vertical ruler) */
.timeline {
  position: relative;
  /*max-width: 1200px;*/
  padding: 30px 0;
  margin: 0 auto;
}

/* The actual timeline (the vertical ruler) */
.timeline::after {
  content: '';
  position: absolute;
  width: 6px;
  background-color: #e7f2fa;
  top: 0;
  bottom: 0;
  left: 50%;
  margin-left: -3px;
}

/* Container around content */
.timeline-container {
  padding: 10px 40px;
  position: relative;
  background-color: inherit;
  width: 50%;
}

/* The circles on the timeline */
.timeline-container::after {
  content: '';
  position: absolute;
  width: 25px;
  height: 25px;
  right: -17px;
  background-color: #940000;
  border: 4px solid #343131;
  top: 15px;
  z-index: 1;
}

/* Place the container to the left */
.timeline-left {
  left: 0;
}

/* Place the container to the right */
.timeline-right {
  left: 50%;
}

/* Add arrows to the left container (pointing right) */
.timeline-left::before {
  content: " ";
  height: 0;
  position: absolute;
  top: 22px;
  width: 0;
  z-index: 1;
  right: 30px;
  border: medium solid #C64E39;
  border-width: 10px 0 10px 10px;
  border-color: transparent transparent transparent #C64E39;
}

/* Add arrows to the right container (pointing left) */
.timeline-right::before {
  content: " ";
  height: 0;
  position: absolute;
  top: 22px;
  width: 0;
  z-index: 1;
  left: 30px;
  border: medium solid #C64E39;
  border-width: 10px 10px 10px 0;
  border-color: transparent #C64E39 transparent transparent;
}

/* Fix the circle for containers on the right side */
.timeline-right::after {
  left: -16px;
}

/* The actual content */
.timeline-content {
  padding: 10px 10px;
  background-color: #C64E39;
  position: relative;
}

/* The darker background inside content */
.timeline-content-inside {
  background-color:#e7f2fa;
  padding: 10px 20px;
}

/* --------------------------- */
/* Pagination
/* --------------------------- */

.pagination-container {
  text-align: center;
  margin-bottom: 20px;
}
.pagination {
  display: inline-block;
  vertical-align: top;
}
.pagination a {
  color: #ffffff;
  background-color: #e7f2fa;
  float: left;
  padding: 8px 16px;
  text-decoration: none;
  transition: background-color .3s;
}
.pagination a.active {
  background-color: #C64E39;
  color: #ffffff;
}
.pagination a:hover:not(.active) {
  background-color: #7550A6;
}

/* --------------------------- */
/* Footer
/* --------------------------- */

.footer {
  padding: 20px;
  margin-top: 20px;
  text-align: center;
  background: #2980b9;
  border-top: 10px solid #e7f2fa;
}
.footer-copyright {
  background-color: #343131;
  text-align: center;
  font-size: smaller;
  padding: 20px;
}
.footer-legal {
  padding-bottom: 20px;
}

/* --------------------------- */
/* Responsive
/* --------------------------- */

/* When width is less than 768px, make columns stack on top of each other instead of next to each other. */
@media screen and (max-width: 768px) {
  .header-top-nav a:not(:first-child) {display: none;}
  .header-top-nav a.icon {float: right;display: block;}
  .header-top-nav.responsive {position: relative;}
  .header-top-nav.responsive a.icon {position: absolute;right: 0;top: 0;}
  .header-top-nav.responsive a {float: none;display: block;text-align: left;}
  /* One column layout (vertical) on small screens */
  .leftcolumn, .rightcolumn {   
    width: 100%;
    padding: 0;
  }
  .column, .column-2 {
    width: 100%;
    display: block;
    margin-bottom: 5px;
  }
  main {
    padding: 5px 10px;
  }
  /* One column layout (vertical) on small screens */
  .column, .column-2 {
    width: 100%;
    display: block;
    margin-bottom: 5px;
  }
  /* Place the timelime to the left */
  .timeline::after {
    left: 31px;
  }
  /* Full-width containers */
  .timeline-container {
    width: 100%;
    padding-left: 70px;
    padding-right: 25px;
  }
  /* Make sure that all arrows are pointing leftwards */
  .timeline-container::before {
    left: 60px;
    border: medium solid #C64E39;
    border-width: 10px 10px 10px 0;
    border-color: transparent #C64E39 transparent transparent;
  }
  /* Make sure all circles are at the same spot */
  .timeline-left::after, .timeline-right::after {
    left: 15px;
  }
  /* Make all right containers behave like the left ones */
  .timeline-right {
    left: 0%;
  }
}