X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=EarlyBlue%2Fglobal%2Fformatting.css;h=ec9732a602cd295e4859ee1147793979f2b7e349;hp=38c70e1337cf21e9157fea9c4b47e4d6a7653d50;hb=d36c7ec407cc272dc85e6bfba54df0961303877c;hpb=083cee4aad62445fc70d8e4a8cf4be6478c00edd diff --git a/EarlyBlue/global/formatting.css b/EarlyBlue/global/formatting.css index 38c70e13..ec9732a6 100644 --- a/EarlyBlue/global/formatting.css +++ b/EarlyBlue/global/formatting.css @@ -38,159 +38,132 @@ @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* inset areas */ -.inset - { - border : 1px inset #CCD0DD; - margin : 0px 5px 5px 5px; - } +.inset { + border: 1px inset #CCD0DD; + margin: 0px 5px 5px 5px; +} /* formatting */ -.groove-top - { - border-top : 2px groove #CCD0DD; - } +.groove-top { + border-top: 2px groove #CCD0DD; +} -.groove-right - { - border-right : 2px groove #CCD0DD; - } +.groove-right { + border-right: 2px groove #CCD0DD; +} -.groove-left - { - border-left : 2px groove #CCD0DD; - } +.groove-left { + border-left: 2px groove #CCD0DD; +} -.groove-bottom - { - border-bottom : 2px groove #CCD0DD; - } +.groove-bottom { + border-bottom: 2px groove #CCD0DD; +} -.outset - { - border : 1px outset #CCD0DD; - } +.outset { + border: 1px outset #CCD0DD; +} /** separator rules **/ /* standard separators */ - separator, separator[orient="horizontal"] - { - height: 1.5em; - } +separator, separator[orient="horizontal"] { + height: 1.5em; +} - separator[orient="vertical"] - { - width: 1.5em; - } +separator[orient="vertical"] { + width: 1.5em; +} /* thinner separators (50% size) */ - separator.thin, separator.thin[orient="horizontal"] - { - height: 0.5em; - } +separator.thin, separator.thin[orient="horizontal"] { + height: 0.5em; +} - separator.thin[orient="vertical"] - { - width: 0.5em; - } +separator.thin[orient="vertical"] { + width: 0.5em; +} /* groove separators (50% size) */ - separator.groove, - separator.groove[orient="horizontal"] - { - border-top: 2px groove #CCD0DD; - height: 0px; - margin-top: 0.4em; - margin-bottom: 0.4em; - } +separator.groove, +separator.groove[orient="horizontal"] { + border-top: 2px groove #CCD0DD; + height: 0px; + margin-top: 0.4em; + margin-bottom: 0.4em; +} - separator.groove[orient="vertical"] - { - border-left: 2px groove #CCD0DD; - margin-left: 0.4em; - margin-right: 0.4em; - } +separator.groove[orient="vertical"] { + border-left: 2px groove #CCD0DD; + margin-left: 0.4em; + margin-right: 0.4em; +} /* groove separators (0 padding, for dividing effects) */ - separator.groove-thin - { - border-top: 2px groove #CCD0DD; - height: 0px; - } +separator.groove-thin { + border-top: 2px groove #CCD0DD; + height: 0px; +} - separator[orient="vertical"].groove-thin - { - border-left: 2px groove #CCCCCC; - } +separator[orient="vertical"].groove-thin { + border-left: 2px groove #CCCCCC; +} /** text formatting rules **/ /** Reduced Margin for some UI **/ - .small-margin - { -/* margin : 1px 2px 1px 2px; */ - } +.small-margin { + margin: 0px 1px; +} - label[disabled="true"] - { - color : #9999CC; - } - - description, label - { - cursor : default; - } +label[disabled="true"] { + color: #9999CC; +} + +description, label { + cursor: default; + margin: 1px 3px; +} - description - { -/* margin : 1px 5px 4px 5px; */ - } +description { +/* margin: 1px 5px 4px 5px; */ +} - label - { -/* margin : 1px 5px 2px 6px; */ - } +label { +/* margin: 1px 5px 2px 6px; */ +} - .header - { - font-weight : bold; - } +.header { + font-weight: bold; +} - .larger-text - { - font-size : larger; - } +.larger-text { + font-size: larger; +} - .smaller-text - { - font-size : smaller; - } +.smaller-text { + font-size: smaller; +} - .monospace - { - font-family : monospace; - } +.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; - } - +.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; +}