/* These lines are signs for http://www.geocities.jp/ss2pxd1c/gimp/index.html,
   and will be removed when http://docs.gimp.org/2.6/ja/ is set.
*/
span.completed { color: white }
span.unfinished { color: lightblue }
span.inprogress { color: mediumseagreen }

/* general settings */
table.simplelist {
	width: auto;
}
.guiicon {
	padding: 0.3em 0.13em 0.0em 0.13em;
	border: 1.6px solid darkgray;
	-moz-border-radius: 0.2em;
	background-color: lightgray;
}

.guibutton {
	padding: 0.13em 0.13em;
	border: 1.6px solid darkgray;
	background-color: lightgray;
	-moz-border-radius: 0.2em;
	color: black;
	font-style: normal;
	font-weight: inherit;
}

.emphasis
{
	font-style: normal;
	text-decoration: underline;
	font-face: sans-serif;
}
