123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278 |
- body {
- margin: 0px 0px 20px 0px;
- padding: 30px 40px;
- background: #FFF;
- font-family: "Lucida Grande", Verdana, Geneva, Arial, sans-serif;
- font-size: small;
- }
- /* grey underlined links that turn black as you are about to click */
- a {
- color: #707070;
- background-color: inherit;
- text-decoration: none;
- }
- div.content a {
- text-decoration: underline;
- }
- a:link {
- color: #707070;
- background-color: inherit;
- }
- a:visited {
- color: #707070;
- background-color: inherit;
- }
- a:active {
- color: #000000;
- background-color: inherit;
- }
- a:hover {
- color: #000000;
- background-color: inherit;
- }
- a.near:link { color: #036; background-color: inherit; }
- a.near:visited { color: #69c; background-color: inherit; }
- a.near:active { color: #390; background-color: inherit; }
- a.near:hover { color: #390; background-color: inherit; }
- a[class="url outside"]:before { content: "\2197"; }
- body.safari a[class="url outside"]:before { content: url(http://www.emacswiki.org/alex/pics/arrow.png); }
- /* goto bar, navigation bar, etc. */
- span.bar a { margin-right: 1ex; }
- /* logo on the right */
- img.logo {
- float: right;
- padding: 0;
- border: none;
- }
- /* headers */
- h1, h2, h3 {
- margin: 0px;
- padding: 0px;
- font-weight: normal;
- line-height: normal;
- clear: both;
- }
- /* dashed line and whitespace after the title */
- div.header h1 {
- font-size: 28pt;
- font-family: "Century Gothic", "Gill Sans", Helvetica, sans-serif;
- font-weight: 100;
- letter-spacing: 0.07em;
- margin-top: 30px;
- padding-bottom: 30px;
- margin-bottom: 30px;
- border-bottom: 1px dashed #333;
- }
- div.header h1 a {
- color: inherit;
- background-color: inherit;
- }
- /* add a dashed line and whitespace before subheadings */
- h2 {
- margin-top: 2em;
- padding-top: 2em;
- border-top: 1px dashed #333;
- }
- /* after a subheading, no whitespace */
- h2 + p, h3 + p {
- margin-top: 0;
- }
- /* when the subheading starts the page, no dashed line and whitespace,
- because that is already added by the header. */
- h2:first-child {
- padding-top: 0;
- border: none;
- }
- /* major subtitles blue and not underlined, both for journals and normal pages.
- within journals, do not use a horizontal line to separate entries. */
- h2, div.journal h1 {
- font-size: inherit;
- font-weight: bold;
- }
- h3, div.journal h1 a {
- color: #009;
- background-color: inherit;
- text-decoration: none;
- }
- hr {
- border: none;
- margin: 2em;
- }
- /* table on the new page */
- p.table a { float: left; width: 20ex; }
- p.table + p { clear: both; padding-top: 10px; }
- /* edit pages */
- textarea[name="text"] { width: 100%; height: 80%; }
- textarea[name="summary"] { width: 100%; height: 3em; }
- /* comments */
- textarea[name="aftertext"] {
- width: 100%;
- height: 10em;
- margin: 1em 0;
- }
- div.commentshown {
- font-size: smaller;
- padding: 0 2em 1ex 2em;
- }
- div.commentshown hr {
- margin: 1em;
- }
- div.commenthidden { display: none; }
- div.commentshown { display: block; }
- p.comment { font-size: x-small; }
- /* cal */
- div.month {
- padding: 0;
- margin: 0 2ex;
- }
- div.month a {
- text-decoration: none;
- }
- /* pre gets different colors below */
- div.month pre {
- color: inherit;
- background-color: inherit;
- }
- body div.month {
- float: right;
- padding: 0 1ex;
- }
- div.year div.month {
- float: left;
- padding: 0;
- }
- div.month a.edit {
- color: inherit;
- background-color: inherit;
- font-weight: inherit;
- }
- /* images, styles to use for the image extension */
- a.image img {
- border: none;
- }
- a.left {
- float: left;
- margin: 20px;
- }
- a.right {
- float: right;
- margin: 20px;
- }
- /* code */
- pre {
- font-family: "Andale Mono", Monaco, "Courrier New", monospace;
- margin: 1em 0;
- padding: 1em 2em;
- color: #000;
- background-color: #ddd;
- }
- /* diff */
- div.diff { padding-left: 5%; padding-right: 5%; }
- div.old { background-color: #FFFFAF; color: #000; }
- div.new { background-color: #CFFFCF; color: #000; }
- /* header stuff */
- div.message { background-color: #FEE; color: #000; }
- /* footer stuff */
- div.footer {
- clear: both;
- font-size: smaller;
- }
- div.footer + hr {
- border: none;
- margin: 10px;
- }
- div.sister {
- font-size: smaller;
- margin-right: 1ex;
- }
- div.sister p {
- margin-top: 0;
- }
- div.sister hr {
- display: none;
- }
- div.sister img {
- border: none;
- vertical-align: top;
- margin-right: 20px;
- }
- div.near, div.definition {
- font-size: smaller;
- }
- div.refer hr {
- display: none;
- }
- div.refer {
- margin-top: 50px;
- padding-left: 1ex;
- border-left: 0.6ex solid #aaa;
- font-size: smaller;
- clear: both;
- }
- /* sidebar */
- div.sidebar {
- float: right;
- border: 1px dotted #000;
- padding: 0 1em;
- }
- div.sidebar ul {
- padding-left: 1em;
- }
- /* printing */
- @media print {
- div.diff, div.diff+hr, div.refer, div.near, div.sister, div.cal, div.footer,
- span.specialdays, span.gotobar, a.edit, a.number span,
- div.rc form, div.definition { display: none; }
- body { font: 12pt "Neep", "Arial", sans-serif; color: #000; }
- a:link, a:visited { color: #000; text-decoration: none; font-style: oblique; }
- a[class="url number"]:after, a[class="inter number"]:after { content: "[" attr(href) "]"; }
- a[class="local number"]:after { content: "[" attr(title) "]"; }
- a.near { font-weight: normal; text-decoration: none; font-style: oblique; }
- a.near:link, a.near:visited, a.near:active, a.near:hover {
- color: inherit; background-color: inherit;
- }
- a[class="near"]:after { content: " [" attr(title) "]"; }
- }
|