annotate doc/style.css @ 1678:c029adbabb70

do not try to reload deleted image deleted image is replaced by the next one from the list, keep the old image displayed until the new one is set

/* vim: set shiftwidth=8 softtabstop=0 cindent cinoptions={1s: */

/* common */
body {
	margin: 2em;
	padding: 0;
	color: #000;
	background-color: #eee;
	font-family: "Trebuchet MS", Verdana, "Lucida Grande", Tahoma, Helvetica, Sans-Serif;
}

table {
	page-break-before: always;
}

a:hover {
	background-color: white;
}

a.bottomnote {
	text-decoration: none;
	color: black;
}

.option_name {
	font-variant: small-caps;
	font-size: 90%;
	font-weight: bold;
}

dt {
	font-weight: bold;
}

/* Previous + Next */
p.previous {
	text-align: left;
}
p.navtop_title {
	text-align: center;
	font-weight:bold;
}
p.navbottom_title {
	text-align: center;
}

p.next {
	text-align: right;
}

div.navtop {
	text-align: center;
}
	
div.navbottom {
	text-align: center;
}

/* Headings */
h1 {
	margin-top: 1.3em;
	margin-bottom: 1.3em;
	color: #820303;
	background: #effefe;
}

h2 {
	margin-top: 1em;
	margin-bottom: 1em;
	color: #5A0202;
	background: #f6fefe;
}

h3 {
	margin-top: 0.7em;
	margin-bottom: 0.7em;
	color: #270101;
	background: #f8fefe;
}

hr#bottomseparator {
	margin-top: 6em;
}

div.bottomspacer {
	margin-bottom: 5em;
}

div.footer {
	text-align: right;
}

/* menu descriptions */
dl.menu_desc {
	margin-left: 2em;
}
.menu_desc dt {
	font-weight: bold;
	padding: 0.1em;
	border-left: 1px solid gray;
	border-bottom: 1px solid gray;
	display: inline;
	vertical-align: top;
}
.menu_desc dd {
	margin-top: 0.3em;
	margin-bottom: 0.3em;
	font-size: small;
}

.menu_desc dd dl {
	margin-top: 0.7em;
	margin-bottom: 0.7em;
}

.menu_desc dd dl dd {
	font-size: small;
}

/* dialog descriptions */
dl.dialog_desc {
	margin-left: 2em;
	margin-bottom: 1em;
}
.dialog_desc dt {
	display: inline;
	padding-left: 0.1em;
	padding-right: 0.1em;
	font-weight: bold;
	margin-top: 0.3em;
	border: 1px solid white;
}
.dialog_desc dd {
	margin-bottom: 0.7em;
}
.dialog_desc dd dl {
	font-size: 90%;
	margin-bottom: 1em;
}

thead {
	font-weight: bold;
}

/* note */
p.note {
	font-style: italic;
}
.note em {
	font-weight: bold;
}

/* bottom page note */
p.bottomnote {
	margin-top: 5em;
	font-style: italic;
	font-size: 90%;
}
.bottomnote em {
	font-weight: bold;
}

span.note_label {
	font-weight: bold;
}

code {
	margin-left: 0.3em;
	padding: 0.1em;
	background: white;
}

.submenu li {
	margin: 0.4em;
	list-style-type: circle;
}

.examples dt {
	border: 0;
}

/* shortcuts tables */
div.shortcuts {
	text-align: center;
}
.shortcuts p {
	margin: 0.1em;
}
td.shortcuts-separator {
	background-color: white;
	font-size: 95%;
}
.shortcuts td+td+td {
	text-align: left;
}


/* image_presentation_fullscreen.html */
div.fullscreen-functions {
	text-align: center;
}
.fullscreen-functions p {
	margin: 0.1em;
}

/* index.html */
.menu ul {
	font-size: 110%;
	font-weight: bold;
	margin: 1em;
	list-style-type: disc;
}
.menu ul li {
	margin: 0.4em;
}
.menu ul li ul {
	font-size: 90%;
	font-weight: normal;
	list-style-type: circle;
}

/* reference_command_line.html */
.command_line_options p {
	margin: 0.1em;
}
.remote_commands p {
	margin: 0.1em;
}

/* reference_management.html */
.file_locations_subtitle {
	font-weight: bold;
	background-color: white;
	text-align: center;
}
.file_locations p {
	margin: 0.1em;
}

/* Keyboard key style */
.key {
	border:0.2em solid;
	border-color:#ddd #bbb #bbb #ddd;
	background:#f2f2f2;
	padding:0em 0.4em;
	margin: 0;
	font-size:0.8em;
	white-space:nowrap;
	font-weight:normal;
	font-style:normal;
}