1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-11-28 04:19:56 +00:00
TiddlyWiki5/editions/tw5.com/tiddlers/system/doc-styles.tid
2015-02-03 19:29:25 +00:00

127 lines
1.9 KiB
Plaintext

created: 20150117152612000
modified: 20150203183335000
title: $:/editions/tw5.com/doc-styles
tags: $:/tags/Stylesheet
.doc-def {
font-style: normal;
font-weight: bold;
}
.doc-em {
font-style: italic;
font-variant: small-caps;
text-decoration: none;
}
.doc-strong {
color: <<colour alert-highlight>>;
font-style: normal;
font-weight: bold;
}
.doc-foreign {
font-style: italic;
}
.doc-place {
background-color: <<color background>>;
border: none;
color: <<color very-muted-foreground>>;
font-style: normal;
font-weight: bold;
}
.doc-button,
.doc-tab,
.doc-tag,
.doc-tiddler,
.doc-field,
.doc-value,
.doc-operator,
.doc-var,
.doc-widget,
.doc-attr {
background-color: <<color background>>;
border: none;
color: <<color very-muted-foreground>>;
font-weight: bold;
padding: 0;
}
a .doc-place,
a .doc-button,
a .doc-tab,
a .doc-tag,
a .doc-tiddler,
a .doc-field,
a .doc-value,
a .doc-operator,
a .doc-var,
a .doc-widget,
a .doc-attr {
color: <<color tiddler-link-foreground>>;
}
.doc-button svg {
height: 1em;
}
td svg {
height: 1em;
}
.doc-key {
color: <<color very-muted-foreground>>;
font-weight: bold;
}
.doc-clink code {
color: <<colour tiddler-link-foreground>>;
}
.doc-preamble {
border: 2px solid <<colour code-border>>;
color: <<colour very-muted-foreground>>;
font-size: 90%;
margin-left: 0;
padding: 0.5em 0.7em;
}
.doc-note dt {
color: <<colour very-muted-foreground>>;
}
.doc-note dd {
border-left: 2px solid <<colour code-border>>;
padding-left: 0.6em;
}
.doc-example {
margin: 1em 0;
padding: 0.8em 0;
}
.doc-example:hover {
background-color: <<colour code-background>>;
}
.doc-example ul {
margin-bottom: 0;
padding-bottom: 0;
margin-top: 0.2em;
}
.doc-table th, .doc-table tr {
vertical-align: top;
}
.doc-table th a {
font-weight: bold;
}
tr.doc-table-subheading {
height: 2em;
vertical-align: middle;
}
.doc-table.before-tiddler-body {
margin-top: 2em;
}