view doc/style_print.css @ 1698:bfe04f01de5e

fixed destroying of menu data Make sure that menu destroy functions do not access parent widget structures that are already destroyed There are 2 ways to achieve this: - use g_signal_handlers_disconnect_matched() like in vf_destroy_cb() - use separate data structure passed to *_popup_menu_destroy_cb() like in img-view.

body {
	background: transparent;
	font-size: 12pt;
}

div.navtop {
	display: none;
}
	
div.navbottom {
	display: none;
}

a {
	color: black;
	background: transparent;
	text-decoration: underline;
}

a.bottomnote {
	text-decoration: none;
}

a.bottomnote:link:after, a.bottomnote:visited:after {
	text-decoration: none;
	content: "";
}

a:link:after, a:visited:after {
	content: " (" attr(href) ") ";
	font-size: 90%;
}


/*
a[href^="/"]:after {
	content: " (http://www.example.com" attr(href) ") ";
}
*/

h1 {
	background: transparent;
	border-bottom: 1px dotted gray;
}

h2 {
	background: transparent;
	border-bottom: 1px dotted gray;
}

h3 {
	background: transparent;
	border-bottom: 1px dotted gray;
}

.dialog_desc dt {
	border: 1px dotted gray;
}