X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fglobal%2Fformatting.css;h=ec362244c342b4d4b488a87d8dfac33994d33975;hp=4faab57862ce475121d065d2e09144c1a4d6d8c1;hb=2b722888dc2dfc992a2ab17b54f77fb35eb60fa8;hpb=55509a9140d6ed6d8ae18e4fc1da8f5789d2279f diff --git a/LCARStrek/global/formatting.css b/LCARStrek/global/formatting.css index 4faab578..ec362244 100644 --- a/LCARStrek/global/formatting.css +++ b/LCARStrek/global/formatting.css @@ -38,158 +38,132 @@ @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); /* inset areas */ -.inset - { -/* border : 1px inset #FF9F00; - margin : 0px 5px 5px 5px; */ - } +.inset { +/* border: 1px inset #FF9F00; + margin: 0px 5px 5px 5px; */ +} /* formatting */ -.groove-top - { - border-top : 2px groove #FF9F00; - } +.groove-top { + border-top: 2px groove #FF9F00; +} -.groove-right - { - border-right : 2px groove #FF9F00; - } +.groove-right { + border-right: 2px groove #FF9F00; +} -.groove-left - { - border-left : 2px groove #FF9F00; - } +.groove-left { + border-left: 2px groove #FF9F00; +} -.groove-bottom - { - border-bottom : 2px groove #FF9F00;; - } +.groove-bottom { + border-bottom: 2px groove #FF9F00;; +} -.outset - { -/* border : 1px outset #FF9F00; */ - } +.outset { +/* border: 1px outset #FF9F00; */ +} /** 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 #FF9F00; - height: 0px; - margin-top: 0.4em; - margin-bottom: 0.4em; - } +separator.groove, +separator.groove[orient="horizontal"] { + border-top: 2px groove #FF9F00; + height: 0px; + margin-top: 0.4em; + margin-bottom: 0.4em; +} - separator.groove[orient="vertical"] - { - border-left: 2px groove #FF9F00; - margin-left: 0.4em; - margin-right: 0.4em; - } +separator.groove[orient="vertical"] { + border-left: 2px groove #FF9F00; + margin-left: 0.4em; + margin-right: 0.4em; +} /* groove separators (0 padding, for dividing effects) */ - separator.groove-thin - { - border-top: 2px groove #FF9F00; - height: 0px; - } +separator.groove-thin { + border-top: 2px groove #FF9F00; + height: 0px; +} - separator[orient="vertical"].groove-thin - { - border-left: 2px groove #FF9F00; - } +separator[orient="vertical"].groove-thin { + border-left: 2px groove #FF9F00; +} /** text formatting rules **/ /** Reduced Margin for some UI **/ - .small-margin - { -/* margin : 1px 2px 1px 2px; */ - } +.small-margin { + margin: 0px 1px; +} - label[disabled="true"] - { - color : #8050B0; - } +label[disabled="true"] { + color: #8050B0; +} - description, label - { - cursor : default; - } +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; - } +.indent { +/* margin-left: 23px; */ + margin-left: 15px; +} - .box-padded - { - padding : 5px; - } +.box-padded { + padding: 5px; +} - .spaced - { - margin : 3px 5px 4px 5px; - } +.spaced { + margin: 1px 3px; +} - .wizard-box - { - padding : 20px 44px 10px 44px; - } +.wizard-box { + padding: 15px 35px 10px 35px; +} - .caption-text - { - margin: 0px 2px 0px 1px !important; - } +.caption-text { + margin: 0px 2px 0px 1px !important; +}