Changes

Jump to navigation Jump to search
no edit summary
Line 313: Line 313:  
.diff-addedline {
 
.diff-addedline {
 
     border-color: #00E58C;
 
     border-color: #00E58C;
 +
}
 +
 +
#filetoc {
 +
    text-align: center;
 +
    border: 1px solid #8D79BE;
 +
    background-color: rgba(14,6,30, 0.75) !important;
 +
    padding: 5px;
 +
    font-size: 95%;
 +
    margin-bottom: 0.5em;
 +
    margin-left: 0;
 +
    margin-right: 0;
 
}
 
}
  

Navigation menu