2003-10-23 01:23:49 +02:00
|
|
|
/*
|
2004-09-07 07:09:22 +02:00
|
|
|
* LLVM documentation style sheet
|
2003-10-23 01:23:49 +02:00
|
|
|
*/
|
|
|
|
|
|
|
|
/* Common styles */
|
2003-10-24 19:34:50 +02:00
|
|
|
.body { color: black; background: white; margin: 0 0 0 0 }
|
2003-10-23 01:23:49 +02:00
|
|
|
|
2003-11-22 01:59:08 +01:00
|
|
|
/* No borders on image links */
|
2008-12-14 08:20:36 +01:00
|
|
|
a:link img, a:visited img { border-style: none }
|
2003-11-22 01:59:08 +01:00
|
|
|
|
2003-11-22 02:23:53 +01:00
|
|
|
address img { float: right; width: 88px; height: 31px; }
|
|
|
|
address { clear: right; }
|
|
|
|
|
2008-12-14 08:20:36 +01:00
|
|
|
table { text-align: center; border: 2px solid black;
|
2008-12-13 18:50:58 +01:00
|
|
|
border-collapse: collapse; margin-top: 1em; margin-left: 1em;
|
2004-08-26 22:43:21 +02:00
|
|
|
margin-right: 1em; margin-bottom: 1em; }
|
2008-12-14 08:20:36 +01:00
|
|
|
tr, td { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; }
|
|
|
|
th { border: 2px solid gray; font-weight: bold; font-size: 105%;
|
|
|
|
background: url("img/lines.gif");
|
|
|
|
font-family: "Georgia,Palatino,Times,Roman,SanSerif";
|
|
|
|
text-align: center; vertical-align: middle; }
|
2008-12-13 18:50:58 +01:00
|
|
|
/*
|
|
|
|
* Documentation
|
2003-10-23 01:23:49 +02:00
|
|
|
*/
|
|
|
|
/* Common for title and header */
|
2008-12-13 18:50:58 +01:00
|
|
|
.doc_title, .doc_section, .doc_subsection, h1, h2 {
|
2004-05-12 23:20:56 +02:00
|
|
|
color: black; background: url("img/lines.gif");
|
2004-11-01 10:26:57 +01:00
|
|
|
font-family: "Georgia,Palatino,Times,Roman,SanSerif"; font-weight: bold;
|
2004-05-12 23:20:56 +02:00
|
|
|
border-width: 1px;
|
|
|
|
border-style: solid none solid none;
|
|
|
|
text-align: center;
|
|
|
|
vertical-align: middle;
|
2003-11-12 21:31:18 +01:00
|
|
|
padding-left: 8pt;
|
|
|
|
padding-top: 1px;
|
|
|
|
padding-bottom: 2px
|
2003-10-23 01:23:49 +02:00
|
|
|
}
|
|
|
|
|
2008-12-13 18:50:58 +01:00
|
|
|
h1, .doc_section { text-align: center; font-size: 22pt;
|
|
|
|
margin: 20pt 0pt 5pt 0pt; }
|
|
|
|
|
|
|
|
.doc_title, .title { text-align: left; font-size: 25pt }
|
|
|
|
|
|
|
|
h2, .doc_subsection { width: 75%;
|
|
|
|
text-align: left; font-size: 12pt;
|
|
|
|
padding: 4pt 4pt 4pt 4pt;
|
|
|
|
margin: 1.5em 0.5em 0.5em 0.5em }
|
|
|
|
|
|
|
|
h3, .doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em;
|
|
|
|
font-weight: bold; font-style: oblique;
|
|
|
|
border-bottom: 1px solid #999999; font-size: 12pt;
|
|
|
|
width: 75%; }
|
|
|
|
|
2004-05-23 23:03:30 +02:00
|
|
|
.doc_author { text-align: left; font-weight: bold; padding-left: 20pt }
|
2005-05-16 18:30:10 +02:00
|
|
|
.doc_text { text-align: left; padding-left: 20pt; padding-right: 10pt }
|
2003-10-24 19:56:09 +02:00
|
|
|
|
2003-11-22 01:59:08 +01:00
|
|
|
.doc_footer { text-align: left; padding: 0 0 0 0 }
|
2003-10-23 01:23:49 +02:00
|
|
|
|
2005-02-09 23:47:47 +01:00
|
|
|
.doc_hilite { color: blue; font-weight: bold; }
|
2003-10-24 21:58:36 +02:00
|
|
|
|
2008-12-13 18:50:58 +01:00
|
|
|
.doc_table { text-align: center; width: 90%;
|
2004-01-15 01:13:59 +01:00
|
|
|
padding: 1px 1px 1px 1px; border: 1px; }
|
2003-11-25 02:02:51 +01:00
|
|
|
|
2004-04-06 05:53:49 +02:00
|
|
|
.doc_warning { color: red; font-weight: bold }
|
2004-04-15 22:49:32 +02:00
|
|
|
|
2008-12-16 04:07:49 +01:00
|
|
|
/* <div class="doc_code"> would use this class, and <div> adds more padding */
|
2008-12-13 18:50:58 +01:00
|
|
|
.doc_code, .literal-block
|
|
|
|
{ border: solid 1px gray; background: #eeeeee;
|
|
|
|
margin: 0 1em 0 1em;
|
2004-05-24 20:05:58 +02:00
|
|
|
padding: 0 1em 0 1em;
|
2008-12-14 08:20:36 +01:00
|
|
|
display: table;
|
2004-05-24 20:05:58 +02:00
|
|
|
}
|
2008-12-13 18:50:58 +01:00
|
|
|
|
2008-12-16 04:07:49 +01:00
|
|
|
/* It is preferrable to use <pre class="doc_code"> everywhere instead of the
|
|
|
|
* <div class="doc_code"><pre>...</ptr></div> construct.
|
2009-05-06 03:41:47 +02:00
|
|
|
*
|
2008-12-16 04:07:49 +01:00
|
|
|
* Once all docs use <pre> for code regions, this style can be merged with the
|
|
|
|
* one above, and we can drop the [pre] qualifier.
|
|
|
|
*/
|
|
|
|
pre.doc_code, .literal-block { padding: 1em 2em 1em 1em }
|
|
|
|
|
2008-12-13 18:50:58 +01:00
|
|
|
.doc_notes { background: #fafafa; border: 1px solid #cecece;
|
2008-12-29 22:25:09 +01:00
|
|
|
display: table; padding: 0 1em 0 .1em }
|
2004-08-26 22:43:21 +02:00
|
|
|
|
2008-12-14 08:20:36 +01:00
|
|
|
table.layout { text-align: left; border: none; border-collapse: collapse;
|
2004-11-01 09:18:06 +01:00
|
|
|
padding: 4px 4px 4px 4px; }
|
2008-12-14 08:20:36 +01:00
|
|
|
tr.layout, td.layout, td.left, td.right
|
|
|
|
{ border: none; padding: 4pt 4pt 2pt 2pt; vertical-align: top; }
|
|
|
|
td.left { text-align: left }
|
|
|
|
td.right { text-align: right }
|
|
|
|
th.layout { border: none; font-weight: bold; font-size: 105%;
|
|
|
|
text-align: center; vertical-align: middle; }
|
2004-11-01 09:18:06 +01:00
|
|
|
|
2004-08-26 22:43:21 +02:00
|
|
|
/* Left align table cell */
|
|
|
|
.td_left { border: 2px solid gray; text-align: left; }
|
2008-12-13 18:50:58 +01:00
|
|
|
|
|
|
|
/* ReST-specific */
|
2008-12-14 08:20:36 +01:00
|
|
|
.title { margin-top: 0 }
|
2009-05-06 03:41:47 +02:00
|
|
|
.topic-title{ display: none }
|
2008-12-13 18:50:58 +01:00
|
|
|
div.contents ul { list-style-type: decimal }
|
|
|
|
.toc-backref { color: black; text-decoration: none; }
|