mirror of
https://github.com/Zenithsiz/ftmemsim-valgrind.git
synced 2026-02-03 18:13:01 +00:00
7a75a9f583
converted by Donna. Hooked it into the build system so they are only built when specifically asked for, and when doing "make dist". They're not perfect; in particular, there are the following problems: - The plain-text FAQ should be built from FAQ.xml, but this is not currently done. (The text FAQ has been left in for now.) - The PS/PDF building doesn't work -- it fails with an incomprehensible error message which I haven't yet deciphered. Nonetheless, I'm putting it in so others can see it. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3153
63 lines
1.2 KiB
CSS
63 lines
1.2 KiB
CSS
/* default link colours */
|
|
a, a:link, a:visited, a:active { color: #74240f; }
|
|
a:hover { color: #888800; }
|
|
|
|
body {
|
|
color: #202020;
|
|
background-color: #ffffff;
|
|
}
|
|
|
|
body, td {
|
|
font-size: 90%;
|
|
line-height: 125%;
|
|
font-family: Arial, Geneva, Helvetica, sans-serif;
|
|
}
|
|
|
|
h1, h2, h3, h4 { color: #74240f; }
|
|
h3 { margin-bottom: 0.4em; }
|
|
|
|
code, tt, pre { color: #3366cc; }
|
|
code, tt { color: #761596; }
|
|
|
|
pre.programlisting {
|
|
color: #000000;
|
|
padding: 0.5em;
|
|
background: #f2f2f9;
|
|
border: 1px solid #3366cc;
|
|
}
|
|
pre.screen {
|
|
color: #000000;
|
|
padding: 0.5em;
|
|
background: #eeeeee;
|
|
border: 1px solid #626262;
|
|
}
|
|
|
|
ul { list-style: url("images/li-brown.png"); }
|
|
|
|
.titlepage hr {
|
|
height: 1px;
|
|
border: 0px;
|
|
background-color: #7f7f7f;
|
|
}
|
|
|
|
/* header / footer nav tables */
|
|
table.nav {
|
|
color: #0f7355;
|
|
border: solid 1px #0f7355;
|
|
background: #edf7f4;
|
|
background-color: #edf7f4;
|
|
margin-bottom: 0.5em;
|
|
}
|
|
/* don't have underlined links in chunked nav menus */
|
|
table.nav a { text-decoration: none; }
|
|
table.nav a:hover { text-decoration: underline; }
|
|
table.nav td { font-size: 85%; }
|
|
|
|
/* yellow box just for massif blockquotes */
|
|
blockquote {
|
|
padding: 0.5em;
|
|
background: #fffbc9;
|
|
border: solid 1px #ffde84;
|
|
}
|
|
|