2003-10-23 07:23:49 +08:00
|
|
|
/*
|
|
|
|
* LLVM website style sheet
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* Common styles */
|
2003-10-25 01:34:50 +08:00
|
|
|
.body { color: black; background: white; margin: 0 0 0 0 }
|
2003-10-23 07:23:49 +08:00
|
|
|
|
2003-11-22 08:59:08 +08:00
|
|
|
/* No borders on image links */
|
|
|
|
a:link img, a:visited img {border-style: none}
|
|
|
|
|
2003-11-22 09:23:53 +08:00
|
|
|
address img { float: right; width: 88px; height: 31px; }
|
|
|
|
address { clear: right; }
|
|
|
|
|
2003-10-23 07:23:49 +08:00
|
|
|
/*
|
|
|
|
* Documentation
|
|
|
|
*/
|
|
|
|
/* Common for title and header */
|
|
|
|
.doc_title, .doc_section, .doc_subsection {
|
2003-11-13 04:24:39 +08:00
|
|
|
color: #ffffff; background: #330077;
|
2003-10-23 07:23:49 +08:00
|
|
|
font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold;
|
2003-11-13 04:31:18 +08:00
|
|
|
padding-left: 8pt;
|
|
|
|
padding-top: 1px;
|
|
|
|
padding-bottom: 2px
|
2003-10-23 07:23:49 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
.doc_title { text-align: left; font-size: 25pt }
|
2003-10-25 01:34:50 +08:00
|
|
|
.doc_section { text-align: center; font-size: 22pt; }
|
2003-10-23 07:23:49 +08:00
|
|
|
.doc_subsection { background: #441188; width: 50%;
|
2003-10-25 01:34:50 +08:00
|
|
|
text-align: left; font-size: 12pt; padding: 4pt 4pt 4pt 4pt;
|
|
|
|
margin: 1.5em 0.5em 1.5em 0.5em }
|
|
|
|
|
|
|
|
/* In the future, the 2nd level subsection style may want to become this:
|
|
|
|
.doc_subsubsection { margin: 1.5em 0.5em 1.5 0.5em;
|
|
|
|
font-weight: bold; font-style: oblique;
|
|
|
|
border-bottom: 2px dotted #999999 }
|
|
|
|
*/
|
|
|
|
|
|
|
|
/* However, to be consistent with the rest of current documentation which is not
|
|
|
|
all yet using stylesheets, we try to emulate the former layout. */
|
|
|
|
.doc_subsubsection { margin: 1.5em 0.5em 1.5em 0.5em;
|
|
|
|
font-weight: bold;
|
|
|
|
border-top: 2px solid #cecece }
|
|
|
|
|
2003-10-25 01:56:09 +08:00
|
|
|
.doc_text { text-align: left; padding-left: 20pt }
|
|
|
|
|
2003-11-22 08:59:08 +08:00
|
|
|
.doc_footer { text-align: left; padding: 0 0 0 0 }
|
2003-10-23 07:23:49 +08:00
|
|
|
|
2003-10-25 03:58:36 +08:00
|
|
|
.doc_red { color: red }
|
|
|
|
|