10 padding-bottom : 10px;
11 border: 0px solid #eee;
12 border-bottom-width: 1px;
41 vertical-align : middle;
53 -webkit-hyphens: auto;
59 border : 1px solid #ddd;
61 box-shadow : 0px 1px 1px -1px rgba(0,0,0,0.1);
81 margin : 5px 0px 5px 0px;
82 color : @default-text;
84 border: 0px solid #ccc;
85 border-left-width: 4px;
90 font-family : monospace;
95 margin : 5px 0px 5px 0px;
97 color : @default-text;
98 font-family : monospace;
100 border: 0px solid #ccc;
101 background : #f5f5f5;