margin-bottom: 3px;
-moz-margin-start: 3px;
-moz-margin-end: 6px;
+ list-style-image: none;
}
/* Extract from display.css, we only want these 2 rules */
.gcli-argfetch {
width: 100%;
- box-sizing: border-box;
-moz-box-sizing: border-box;
}
.gcli-af-params {
padding: 0 10px;
width: 100%;
- box-sizing: border-box;
-moz-box-sizing: border-box;
}
font-weight: bold;
}
+.gcli-in-scratchlink {
+ float: right;
+ font-size: 85%;
+ color: #9C9CFF;
+ padding-right: 10px;
+}
+
/* From: $GCLI/lib/gcli/commands/help.css */
.gcli-help-name {