/usr/share/doc/mlton/guide/print.css is in mlton-doc 20100608-5.
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 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 | /* print.css - MoinMoin Default Styles
Copyright (c) 2001, 2002, 2003 by Jürgen Hermann
*/
/* content styles */
h2, h3, h4, h5, h6 {
border-bottom: solid 1pt black;
}
a {
background-color: inherit;
color: inherit;
}
pre {
border: 1pt solid black;
background-color: inherit
color: black;
}
hr {
clear: both;
border-style: none;
background-color: black;
color: black;
height: 1pt;
}
td {
border: 1pt solid gray;
}
a.interwiki:before, a.badinterwiki:before {
content: attr(title) ":";
}
a.interwiki img, a.badinterwiki img {
display: none;
}
.footnotes div {
width: 5em;
border-top: 1pt solid black;
}
/* user interface styles */
h1 {
padding: .2em 1em;
}
#logo {
float: left;
margin: 0 .5em;
}
*[dir="rtl"] #logo {
float: right;
}
#title a {
text-decoration: none;
}
#username, #navibar, #pagetrail, #iconbar, #message, #footer, #timings {
display: none;
}
table.recentchanges {
width: 100%;
}
.recentchanges td {
padding: 0 .3em;
}
.rcdaybreak td {
background-color: #CCCCFF;
padding: .2em;
}
.rcicon1, .rcicon2 {
text-align: center;
}
.rcpagelink {
width: 33%;
}
.rctime {
font-size: .9em;
color: #4D4D4D;
}
.rceditor {
color: green;
}
.rccomment {
color: red;
width: 66%;
}
.rcrss {
float: right;
}
|