/* set main colours */
:root {
    --taskCol: #404040;    /* task boxes */
    --solCol: #808080;   /* solution boxes */
    --solColh: #808080cc;   /* solution boxes hover */
    --infoCol: #1C668F;    /* info boxes */
    --infoColh: #1C668Fcc;    /* info boxes hover */
    --fsize: medium;
}

button {
    background-color: var(--solCol);
    border: none;
    color: white;
    padding: 10px 25px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 16px;
    margin: 4px 2px;
    cursor: pointer;
    border-radius: 3px;
}

/* change background color of buttons on hover */
button:hover {
    background-color: var(--solColh);
}

infobutton {
    background-color: var(--infoCol);
    border: none;
    color: white;
    padding: 10px 25px;
    text-align: center;
    text-decoration: none;
    display: inline-block;
    font-size: 16px;
    margin: 4px 2px;
    cursor: pointer;
    border-radius: 3px;
}

/* change background color of buttons on hover */
infobutton:hover {
    background-color: var(--infoColh);
}

.panel-default > .panel-heading {
    background-image: none;
    background-color: var(--taskCol);
    color: white;
    border-color: var(--taskCol);
}

.panel-default > .panel-heading1 {
    background-image: none;
    background-color: var(--solCol);
    color: white;
    border-color: var(--solCol);
}

.panel-default > .panel-heading2 {
    background-image: none;
    background-color: var(--infoCol);
    color: white;
    border-color: var(--infoCol);
}

/* Style the buttons inside the tab */
.tab button {
    background-color: var(--solCol);
}

/* Change background color of buttons on hover */
.tab button:hover {
    background-color: var(--solColh);
}

/* Create an active/current tablink class */
.tab button.active {
    background-color: var(--taskCol);
}

blockquote{
  margin: 20px 0;
  padding-left: 1.5rem;
  font-size: 1em;
  border-left: 5px solid var(--taskCol) !important; /* Just change the color value and that's it*/
}

pre {
  font-size: 1em;
}
div.resize > * {
  font-size: var(--fsize);
}
