Changes

m
no edit summary
Line 19: Line 19:  
     padding: 7px;
 
     padding: 7px;
 
}
 
}
 +
 +
#
    
code, pre {
 
code, pre {
Line 33: Line 35:  
     margin-top: 20px;
 
     margin-top: 20px;
 
     border-top: none !important;
 
     border-top: none !important;
 +
}
 +
 +
.toc-mobile {
 +
  background-color: rgba(255,255,255,0.58);
 
}
 
}