body {
    padding-top: 60px;
    padding-bottom: 40px;
}
.sidebar-nav {
    padding: 9px 0;
}
.tag-1 {
    font-size: 13pt;
}
.tag-2 {
    font-size: 10pt;
}
.tag-2 {
    font-size: 8pt;
}
.tag-4 {
    font-size: 6pt;
}
main {

}

ul.tagcloud {
    list-style: none;
    padding: 0;
}

ul.tagcloud li {
    display: inline-block;
}

li.tag-1 {
    font-size: 150%;
}

li.tag-2 {
    font-size: 120%;
}

/* ... add li.tag-3 etc, as much as needed */

ul.tagcloud .list-group-item span.badge {
    background-color: grey;
    color: white;
}

bib {
    display: none
}

/* .tooltip {
position: relative;
display: inline-block;
border-bottom: 1px dotted black;
}

.tooltip .tooltiptext {
visibility: hidden;
width: 120px;
background-color: black;
color: #fff;
text-align: center;
border-radius: 6px;
padding: 5px 0;

position: absolute;
z-index: 1;
}

.tooltip:hover .tooltiptext {
visibility: visible;
} */

#add-button {
    display: none;
}

#drop-area {
    /* border: 2px dashed #ccc; */
    /* border-radius: 20px; */
    /* width: 480px; */
    /* font-family: sans-serif; */
    /* margin: 100px auto; */
    /* padding: 20px; */
}
#drop-area.highlight {
    /* border-color: purple; */
    background-color: aliceblue;
}

footer {
    display: block;
}

input {
    display: inline;
}

input[type="radio"] {
    display: inline;
}

label {
    display: inline;
}

form {
    display: inline;
}

.collapsible {
    vertical-align: top;
    height: auto !important;
    font-family: Helvetica,sans-serif;
    /* font-size: 20px; */
    /* font-weight: bold; */
    /* margin: 20px; */
    /* padding: 20px; */
    /* background-color: pink; */
    /* width: 280px; */
    /* border-radius: 10px; */
}

.answer {
    display:none;
    /* font-family: Helvetica,sans-serif; */
    /* font-size: 14px; */
    /* font-weight: normal; */
}

/* .myhide {
    display:inline;
} */

.show {
    display: none;
    text-decoration: none;
}

.myhide:target + .show {
    display: inline;
    text-decoration: none;
}

.myhide:target {
    display: none;
    text-decoration: none;
}

.myhide:target ~ .answer {
    display: inline;
    text-decoration: none;

}

@media print {
    .myhide, .show {
        display: none;
    }
}

input {
    border: 1px solid transparent;
    background-color: #f1f1f1;
    padding: 16px;
    font-size: 16px;
}

input[type=text] {
    background-color: #f1f1f1;
    width: 100%;
}

input[type=submit] {
    background-color: DodgerBlue;
    color: #fff;
    cursor: pointer;
    padding: 10px;
}

label {
/* border: 1px solid transparent; */
/* background-color: #f1f1f1; */
padding: 4px;
font-size: 12px;
}

select {
border: 1px solid transparent;
background-color: #f1f1f1;
padding: 4px;
font-size: 16px;
}

.container {
    display: block;
    position: relative;
    padding-left: 35px;
    margin-bottom: 12px;
    width: auto;
    cursor: pointer;
    font-size: 16px;
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
}

/* Hide the browser's default radio button */
.container input {
    position: absolute;
    opacity: 0;
    cursor: pointer;
    height: 0;
    width: 0;
}

/* Create a custom radio button */
.checkmark {
    position: absolute;
    top: 0;
    left: 0;
    height: 25px;
    width: 25px;
    background-color: #eee;
    border-radius: 50%;
}

/* On mouse-over, add a grey background color */
.container:hover input ~ .checkmark {
    background-color: #ccc;
}

/* When the radio button is checked, add a blue background */
.container input:checked ~ .checkmark {
    background-color: #2196F3;
}

/* Create the indicator (the dot/circle - hidden when not checked) */
.checkmark:after {
    content: "";
    position: absolute;
    display: none;
}

/* Show the indicator (dot/circle) when checked */
.container input:checked ~ .checkmark:after {
    display: block;
}

/* Style the indicator (dot/circle) */
.container .checkmark:after {
    top: 9px;
    left: 9px;
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background: white;
}

/* html switch style */
/* The switch - the box around the slider */
.switch {
    position: relative;
    display: inline-block;
    width: 60px;
    height: 34px;
}
  
  /* Hide default HTML checkbox */
.switch input {
    opacity: 0;
    width: 0;
    height: 0;
}
  
  /* The slider */
.slider {
    position: absolute;
    cursor: pointer;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-color: #ccc;
    -webkit-transition: .4s;
    transition: .4s;
}

.slider:before {
    position: absolute;
    content: "";
    height: 26px;
    width: 26px;
    left: 4px;
    bottom: 4px;
    background-color: white;
    -webkit-transition: .4s;
    transition: .4s;
}

input:checked + .slider {
    background-color: #2196F3;
}
  
input:focus + .slider {
    box-shadow: 0 0 1px #2196F3;
}

input:checked + .slider:before {
    -webkit-transform: translateX(26px);
    -ms-transform: translateX(26px);
    transform: translateX(26px);
}
  
  /* Rounded sliders */
.slider.round {
    border-radius: 34px;
}

.slider.round:before {
    border-radius: 50%;
}