p, li, ul {
    text-rendering: optimizeLegibility;
    font-family: Lucida Sans Unicode;
}

h1, h2, h3 {
    font-weight: bold;
    font-family: Helvetica;
}

.center {
    padding: 0;
    margin: 0px auto;
    width: 1000px;
}

h1, h2, h3 {
    text-align: center;
}

p {
    text-align: justify;
}

.navigation-menu {
    width: 100%;
    padding-left: 0px;
}

.navigation-menu li {
    padding: 0;
    float: left;
    display: inline;
    list-style-type: none;
    margin-bottom: 0.5cm;
}

.navigation-menu a {
    display: block;
    width: 200px;
    background-color: black;
    text-align:center;
    color: white;
    text-decoration: none;
}

.navigation-menu a:hover, .navigation-menu a:active {
    background-color: gray;
}

.navigation-menu .active {
    color: red;
}

.bug_list ul {
    list-style-type: none;
}

.bug_list label {
    background-color: gray;
    border-radius: 5px;
    padding: 3px;
    padding-left: 25px;
    color: white;
}

.bug_list li {
    border-radius: 5px;
    margin: 10px;
}

.bug_prog {
    height: 200px;
    overflow-y: auto;
    list-style-position: inside;
    border: 1px solid black;
    font-family: monospace;
}

input[type=checkbox] {
    display: none;
}

input[type=checkbox] ~ ul {
    max-height: 0;
    max-width: 0;
    opacity: 0;
    overflow: hidden;
    white-space:nowrap;
    -webkit-transition:all 0.5s ease;  
    -moz-transition:all 0.5s ease;  
    -o-transition:all 0.5s ease;  
    transition:all 0.5s ease;  
    
}

input[type=checkbox]:checked ~ ul { 
    max-height: 100%;
    max-width: 100%;
    opacity: 1;
}

input[type=checkbox] + label:before{
    transform-origin:25% 50%;
    border: 8px solid transparent;
    border-width: 8px 12px;   
    border-left-color: white;
    margin-left: -20px;
    width: 0;
    height: 0;
    display: inline-block;
    text-align: center;
    content: '';
    color: #AAAFAB;
    -webkit-transition:all .5s ease;  
    -moz-transition:all .5s ease;  
    -o-transition:all .5s ease;  
    transition:all .5s ease; 
    position: absolute;
    margin-top: 1px;
}

input[type=checkbox]:checked + label:before {
    transform: rotate(90deg);
}