9 border : 1px solid #ddd;
11 box-shadow : 0px 1px 1px -1px rgba(0,0,0,0.1);
15 padding-bottom : 10px;
16 border: 0px solid #eee;
17 border-bottom-width: 1px;
46 vertical-align : middle;
57 -webkit-hyphens: auto;
79 margin : 5px 0px 5px 0px;
80 color : @default-text;
82 border: 0px solid #ccc;
83 border-left-width: 4px;
88 font-family : monospace;
93 margin : 5px 0px 5px 0px;
95 color : @default-text;
96 font-family : monospace;
98 border: 0px solid #ccc;