.
documentation
,

.
documentation-metadata
 {

	border
:
 1
px
 solid
 #a2a9b1
;

	background-color
:
 #ecfcf4
;

	clear
:
 both
;

}


.
documentation
 {

	margin
:
 1
em
 0
 0
 0
;

	padding
:
 1
em
;

}


.
documentation-metadata
 {

	margin
:
 0.2
em
 0
;
 /* same margin left-right as .documentation */

    /* font-style: italic; */

    padding
:
 0.4
em
 1
em
;
 /* same padding left-right as .documentation */

}


.
documentation-startbox
 {

	padding-bottom
:
 3
px
;

	border-bottom
:
 1
px
 solid
 #aaa
;

	margin-bottom
:
 1
ex
;

}


.
documentation-heading
 {

	font-weight
:
 bold
;

	font-size
:
 125
%
;

}


.
documentation-clear
 {
 /* Don't want things to stick out where they shouldn't. */

	clear
:
 both
;

}


.
documentation-toolbar
 {

	font-style
:
 normal
;

	font-size
:
 85
%
;

}