comparison doc/style.css @ 1135:e0d275b9ebaa

Give a new style to menus.
author zas_
date Tue, 11 Nov 2008 21:50:42 +0000
parents ad40d1ec0726
children 0186f9c7d9e4
comparison
equal deleted inserted replaced
1134:38238d1b2621 1135:e0d275b9ebaa
94 dl.menu_desc { 94 dl.menu_desc {
95 margin-left: 2em; 95 margin-left: 2em;
96 } 96 }
97 .menu_desc dt { 97 .menu_desc dt {
98 font-weight: bold; 98 font-weight: bold;
99 padding-top: 0.3em; 99 padding: 0.1em;
100 border-left: 1px solid gray;
101 border-bottom: 1px solid gray;
102 display: inline;
103 vertical-align: top;
100 } 104 }
101 .menu_desc dd { 105 .menu_desc dd {
106 margin-top: 0.3em;
107 margin-bottom: 0.3em;
108 font-size: small;
109 }
110
111 .menu_desc dd dl {
112 margin-top: 0.7em;
113 margin-bottom: 0.7em;
114 }
115
116 .menu_desc dd dl dd {
117 font-size: small;
102 } 118 }
103 119
104 /* dialog descriptions */ 120 /* dialog descriptions */
105 dl.dialog_desc { 121 dl.dialog_desc {
106 margin-left: 2em; 122 margin-left: 2em;