/* style.css --- CSS for antlr-mode's web pages
*
* Author: Christoph Wedler
* X-URL: http://antlr-mode.sourceforge.net/
*/
/* Common style -------------------------------------------------------------*/
BODY {
margin: 0;
padding: 0;
color: #000000;
font-family: serif;
background: #F8F8F8;
}
DIV.main {
padding: 0 0.5em 0 1em;
padding-right: 0.5em; /* IE bug: repeat */
padding-left: 1em /* IE bug: repeat */
}
P {
margin: 0.5em 0;
padding: 0;
}
LI {
margin: 0.3em 0;
padding: 0;
}
PRE {
background: #E8E8E8;
white-space: pre; /* Netscape forgets it */
font-family: monospace; /* Netscape forgets it */
padding: 0.3em;
border: none; /* Netscape bug workaround */
margin: 0.3em 1.2em 0.3em 1.2em;
}
LI PRE {
margin: 0.3em 1.2em 0.3em 0;
}
ADDRESS {
padding: 0 0.5em 0.5em;
}
/* HYPERLINKS. Order is important! */
A:link {
color: #000099;
}
A:visited {
color: #330066;
}
A:active {
color: #660000;
}
A.inpage:link {
color: #333300;
}
A.inpage:visited {
color: #333300;
}
A.inpage:hover {
color: #FF0000;
}
A.foot:link {
color: #666666;
}
A.foot:visited {
color: #666666;
}
A.foot:hover {
color: #FF0000;
}
A:hover {
color: #FF0000;
}
/* HEADER NAVIGATION */
TABLE.head {
border-collapse: collapse;
width: 100%;
padding: 0.1em;
white-space: nowrap;
background: #C0C0C0;
font-family: sans-serif;
}
.head TH {
color: #F0F0F0;
white-space: nowrap;
padding: 0.2em 0.5em 0.2em 0.5em;
border: 2px solid #C0C0C0;
}
.head A:hover {
background: #FFF0D0;
}
.head TD {
padding: 0.2em 0.3em;
width: auto;
border: 2px solid #C0C0C0;
}
TD.sel {
background: #E0E0E0;
border-bottom: 2px solid #E0E0E0;
}
TD.alt {
background: #CCCCCC;
}
TD.last {
text-align: left;
width: 100%;
}
/* HEADERS, MARKUP. Avoid font sizes, even %, even 100% => ugly fonts */
H1 {
font-family: sans-serif;
color: #660000;
font-weight: bold;
}
H2 {
font-family: sans-serif;
color: #000066;
font-weight: bold;
}
H3 {
font-family: sans-serif;
color: #333333;
font-weight: bold;
}
STRONG.intro {
font-style: normal;
font-weight: bold;
color: #000066;
}
EM.intro {
font-style: normal;
color: #000066;
}
EM EM {
font-style: normal;
}
TT { /* like CODE.file */
color: #000066;
}
KBD { /* like KBD.kbd */
font-family: monospace;
font-weight: bold;
color: #660000;
}
CODE { /* like CODE.lisp */
color: #660000;
}
SAMP { /* like SAMP.text */
color: #330066;
}
CITE {
font-style: italic;
color: #330066;
}
/* Homepage specific --------------------------------------------------------*/
/* SIDEBAR, screenshots, FOOTER */
DIV.sidebar {
float: right;
width: 88px;
padding: 2px; /* margin would be more appropriate, but Netscape... */
border: 0;
margin: 0;
}
P.sidebar {
font-size: smaller;
white-space: nowrap;
width: 80px;
border: 1px #000000 solid;
background: #FFF0D0;
color: #333333;
font-family: sans-serif;
margin: 0;
padding: 3px;
}
IMG.sidebar {
padding: 0;
border: 0;
margin: 0;
margin-top: 4px;
margin-bottom: 0;
}
IMG.screenshot {
float: right;
}
P.post {
color: #333333;
margin: 0.5em 0;
padding: 0;
}
DIV.foot {
background: #E0E0E0;
width: 100%;
margin-top: 1.5em;
padding-top: 0.5em;
color: #666666;
font-family: sans-serif;
font-size: smaller;
white-space: nowrap;
}
/* {display: compact;} isn't supported by browsers => use TABLE */
TABLE.tech {
padding: 0;
margin: 0;
border: 0;
}
TABLE.tech TH {
vertical-align: baseline;
border: 0;
padding: 0;
font-weight: normal;
width: auto;
text-align: left;
color: #000;
}
TABLE.tech TD {
border: 0;
padding: 0.3em 0 0.3em 0.3em;
}
/* MARKUP */
KBD.menu {
font-family: sans-serif;
font-weight: bold;
color: #660033;
}
KBD.key {
font-family: sans-serif;
font-weight: bold;
color: #660000;
}
KBD.kbd {
font-family: monospace;
font-weight: bold;
color: #660000;
}
CODE.file {
color: #000066;
}
CODE.lisp {
color: #660000;
}
CODE.html {
color: #660033;
}
CODE.tex {
color: #660033;
}
CODE.text {
color: #333300;
}
CODE.shell {
color: #330066;
}
CODE.tpl {
color: #333300;
font-weight: bold;
}
CODE.keyword {
color: #333300;
font-weight: bold;
}
SAMP.char {
color: #330066;
}
SAMP.text {
color: #330066;
}
SAMP.modeline {
font-family: sans-serif;
font-weight: bold;
color: #333300;
}
PRE.emacs {
color: #220000;
}
PRE.shell {
color: #110022;
}
/* font-lock specific -------------------------------------------------------*/
/* Emacs font-lock settings from htmlize.el */
/* Putting these into the main file would make Netscape core */
span.keyword {
color: #333333;
font-weight: bold;
} /* font-lock-keyword-face */
span.antlr-font-lock-tokenref {
color: #8b5a00;
} /* antlr-font-lock-tokenref-face */
span.comment {
color: #006400;
} /* font-lock-comment-face */
span.antlr-font-lock-tokendef {
color: #0000ff;
font-weight: bold;
} /* antlr-font-lock-tokendef-face */
span.antlr-font-lock-ruleref {
color: #00008b;
} /* antlr-font-lock-ruleref-face */
span.doc-string {
color: #8b0000;
} /* font-lock-doc-string-face */
span.antlr-font-lock-ruledef {
color: #0000ff;
font-weight: bold;
} /* antlr-font-lock-ruledef-face */
span.antlr-font-lock-keyword {
font-weight: bold;
} /* antlr-font-lock-keyword-face */
span.antlr-font-lock-syntax {
font-weight: bold;
} /* antlr-font-lock-syntax-face */
span.string {
color: #8b0000;
} /* font-lock-string-face */
span.variable-name {
color: #8b0a50;
font-weight: bold;
} /* font-lock-variable-name-face */
span.type {
color: #551a8b;
} /* font-lock-type-face */
span.reference {
color: #006400;
font-weight: bold;
} /* font-lock-reference-face */
span.preprocessor {
color: #8b0000;
font-weight: bold;
} /* font-lock-preprocessor-face */
span.function-name {
color: #0000ff;
font-weight: bold;
} /* font-lock-function-name-face */