- .small-margin
- {
-/* margin : 1px 2px 1px 2px; */
- }
-
- label[disabled="true"]
- {
- color : #9999CC;
- }
-
- description, label
- {
- cursor : default;
- }
-
- description
- {
-/* margin : 1px 5px 4px 5px; */
- }
-
- label
- {
-/* margin : 1px 5px 2px 6px; */
- }
-
- .header
- {
- font-weight : bold;
- }
-
- .larger-text
- {
- font-size : larger;
- }
-
- .smaller-text
- {
- font-size : smaller;
- }
-
- .monospace
- {
- font-family : monospace;
- }
-
- .indent
- {
- margin-left : 23px;
- }
-
- .box-padded
- {
- padding : 5px;
- }
-
- .spaced
- {
- margin : 3px 5px 4px 5px;
- }
-
- .wizard-box
- {
- padding : 20px 44px 10px 44px;
- }
-
- .caption-text
- {
- margin: 0px 2px 0px 1px !important;
- }
-
+.small-margin {
+ margin: 0px 1px;
+}
+
+.plain {
+ margin: 0px !important;
+ border: none;
+ padding: 0px;
+}
+
+label[disabled="true"] {
+ color: #9999CC;
+}
+
+description, label {
+ cursor: default;
+ margin: 1px 3px;
+}
+
+description {
+/* margin: 1px 5px 4px 5px; */
+}
+
+label {
+/*
+ margin-top: 1px;
+ margin-bottom: 2px;
+ -moz-margin-start: 6px;
+ -moz-margin-end: 5px;
+*/
+}
+
+.header {
+ font-weight: bold;
+}
+
+.larger-text {
+ font-size: larger;
+}
+
+.smaller-text {
+ font-size: smaller;
+}
+
+.monospace {
+ font-family: monospace;
+}
+
+.indent {
+/* margin-left: 23px; */
+ margin-left: 15px;
+}
+
+.box-padded {
+ padding: 5px;
+}
+
+.spaced {
+ margin: 1px 3px;
+}
+
+.wizard-box {
+ padding: 15px 35px 10px 35px;
+}
+
+.caption-text {
+ margin: 0px 2px 0px 1px !important;
+}
+
+/* class for text with a 'link' appearance */
+.text-link {
+ color: blue;
+ text-decoration: underline;
+ cursor: pointer;
+}
+
+.text-link:focus {
+ color: red;
+ /* Don't specify the outline-color, we should always use initial value. */
+ outline: 1px dotted;
+}
+
+.text-link:hover:active {
+ color: red;
+}
+
+.text-link[visited="true"] {
+ color: purple;
+}