11 /* Use margin so that children can safely use width=100% */
21 span
.navigable
, div
.navigable
, p
.navigable
{
23 text-decoration: underline
;
34 border: 1px solid silver
;
35 margin: 10px 10px 10px 10px;
61 .part-container-inner-margin {
65 object
{ /* GtkWidgets */
75 /***** PRINTING *******/
82 .attachments-list h1 {
91 .attachments-list th {
95 /******* ITIP *********/
111 vertical-align: middle
;
117 vertical-align: middle
;
120 #table_row_summary td
{
124 #table_row_buttons button
{
130 #table_row_buttons img
{
132 vertical-align: middle
;
135 #text_row_buttons td
{