/usr/share/doc/simgrid/html/simgrid.css is in simgrid-doc 3.10-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | /* Table Of Content styles, by Martin Quinson (but not original at all) */
DIV.toc {
background-color: #e8eef2;
border: 1px solid #84b0c7;
font-size: 120%;
display: block;
float: right;
margin: 10px;
padding: 10px;
padding-top: 0px;
padding-bottom: 0px;
}
DIV.tocTitle {
text-align: center;
font-weight: bold;
font-size: 130%;
}
|