10 padding-bottom : 10px;
11 border: 0px solid #eee;
12 border-bottom-width: 1px;
49 -webkit-hyphens: auto;
55 border : 1px solid #ddd;
57 box-shadow : 0px 1px 1px -1px rgba(0,0,0,0.1);
78 margin : 5px 0px 5px 0px;
79 color : @default-text;
81 border: 0px solid #ccc;
82 border-left-width: 4px;
87 font-family : monospace;
92 margin : 5px 0px 5px 0px;
94 color : @default-text;
95 font-family : monospace;
97 border: 0px solid #ccc;