Searched refs:border (Results 1 – 25 of 2105) sorted by path
12345678910>>...85
17 border-radius: 5px;38 border-bottom: dotted 1px #888888;81 border-radius: 5px;89 border-radius:5px;104 border:none;109 border-radius: 5px;121 border-radius: 5px;135 border-radius: 5px 0px 0px 5px;163 border-radius: 5px;172 border[all...]
8 border-width: 0;14 border-width: 0;22 border-bottom: 1px solid @ini_border;113 border: 1px solid @ini_border;114 border-radius: 2px;
39 border: 1px solid @ini_border;52 border-width: 0;116 border: dotted @ini_border;117 border-width: .2em 0;138 margin: 0 -1em; /* negative side margin = side padding + side border */140 border: solid @ini_background_alt;141 border-width: 0 .5em;
19 border-top: 1px solid @ini_border;
16 border: none;50 border: 1px solid @ini_border;
16 border-bottom: 1px dashed;21 border-bottom-width: 0;
130 border-radius: .5em .5em 0 0;134 border: 1px solid @ini_border;135 border-bottom-color: @ini_background_alt;147 border-top: 1px solid @ini_border;468 border-width: 0;478 border-color: @ini_background;530 border-right: 1px solid red;
23 border-right: 1px solid @ini_border;28 border-right-width: 0;29 border-left: 1px solid @ini_border;55 border-bottom: 1px solid @ini_border;150 border: 1px dashed @ini_border;
25 border: 1px solid @ini_border;
12 /* border underneath */20 border-bottom: 1px solid @ini_border;43 border: 1px solid @ini_border;44 border-radius: .5em .5em 0 0;83 border-bottom-color: @ini_background_alt;
162 border-collapse: collapse;164 border-spacing: 0;165 border: 1px solid @ini_border;181 border: 1px solid @ini_border;216 border-width: 0;242 border-top: solid @ini_border;243 border-bottom: solid @ini_background;244 border-width: 1px 0;253 border-bottom: 1px dotted;279 border[all...]
124 border: 1px solid @ini_border;125 border-bottom-color: @ini_background_site;126 border-top-left-radius: .3em;127 border-top-right-radius: .3em;166 border-style: dashed;169 border-bottom-style: solid;178 border: 1px solid @ini_border;180 border-radius: 2px;220 border-radius: 0;221 border[all...]
144 border-width: 0;170 border-top: 1px solid @ini_border;171 border-bottom: 1px solid @ini_background;181 border-top: 1px solid @ini_background;182 border-bottom: 1px solid @ini_border;186 border-top: 1px solid @ini_background;190 border-bottom: 1px solid @ini_border;278 border: solid @ini_background_alt;279 border-width: 1px 1px 0;283 border[all...]
35 border: 1px solid #eee;37 border-radius: 2px;50 border-bottom: 1px solid @ini_border;71 border-right: none;75 border-left: none;83 border-left-width: 0;84 border-bottom: 1px solid @ini_border;89 border-right-width: 0;122 border-width: 0 .5em;311 border[all...]
45 /* add transparent border to prevent jumping when proper border is added on hover */46 border: 1px solid transparent;58 /* add transparent border to prevent jumping when proper border is added on focus */59 border: 1px solid transparent;116 border-color: @ini_border;117 border-radius: 2px;
59 border-bottom: 1pt dotted;87 border-width: 0;106 border: solid #ccc;107 border-width: 0 0 0 2pt;110 border-width: 0 2pt 0 0;118 border-collapse: collapse;120 border-spacing: 0;121 border: 1pt solid #ccc;128 border: 1pt solid #666;142 border[all...]
67 ; border color
19 border: 1px solid __border__;35 border-left: 1px solid __border__;61 border: 1px solid __border__;105 border: none;133 border: 1px solid __border__;186 border-color: __border__;273 border: none;281 border: none;293 border-left: none;294 border-top: none;[all …]
16 border: 1px solid __border__;
32 border: 1px solid lightgray;47 -moz-border-radius: 5px; 48 -webkit-border-radius: 5px;52 border-bottom: 1px solid rgba(0,0,0,0.25);
68 border-width: 0;71 border-radius: .5em .5em 0 0;282 border-bottom: 1px solid __border__;425 border-right: 1px solid red;
21 border-radius: .5em .5em 0 0;
34 border: 0;45 border: 0px;59 border: none;82 border: 1px solid __border__;92 border: 1px solid __border__;356 border: 0;362 border: 0;368 border: 0;490 border-spacing: 0px;719 border: 0;[all …]
44 border-top: 1px solid __border__;45 border-bottom: 1px solid __border__;
12 border-right: solid 1px __border__;59 border: 1px solid __background__;103 border: 1px dashed __border__;150 border-bottom: solid 1px __border__;155 border-bottom: 0;161 border: none;