Searched refs:margin (Results 1 – 25 of 269) sorted by relevance
1234567891011
5 margin: 0px;29 margin: 1.33em 40px;42 margin: 1.33em 0em; 50 margin: 1.33em 40px;55 margin: 1.33em 0px;59 margin: 1.33em 40px;65 margin: 9pt 9pt;73 margin-left: 150px; 80 margin: 0.8em 8px;101 margin-left: 150px;[all …]
9 margin: 1em 5% 1em 5%;37 margin-top: 1.2em;38 margin-bottom: 0.5em;57 margin-left: 0;65 margin-top: 0.5em;66 margin-bottom: 0.5em;70 margin-top: 0;75 margin: 0;95 margin-top: 4.0em;107 margin-top: 1.5em;[all …]
20 margin: 1em 5% 1em 5%;50 margin-top: 1.2em;51 margin-bottom: 0.5em;72 margin-left: 0;80 margin-top: 0.5em;81 margin-bottom: 0.5em;85 margin-top: 0;92 margin: 0;109 margin-top: 4.0em;121 margin-top: 1.5em;[all …]
11 margin-top: .75em;13 margin-bottom: .75em;17 margin: 1em 5% 1em 5%;22 margin: 0;41 margin-bottom: 0.2em;45 margin: .0em 0 0 -4%;51 margin: 0.5em 0 0 -4%;57 margin: .8em 0 0 -3%;62 margin: .8em 0 0 -3%;67 margin: .8em 0 0 -2%;[all …]
52 margin-bottom: 0.5em;63 margin-left: 0;71 margin-top: 0.5em;72 margin-bottom: 0.5em;76 margin-top: 0;81 margin: 0;94 margin-top: 4.0em;108 margin-top: 1.5em;109 margin-bottom: 1.5em;115 margin-top: 1.5em;[all …]
29 margin: 1em 5% 1em 5%;52 margin-top: 1.2em;53 margin-bottom: 0.5em;74 margin-left: 0;82 margin-top: 0.5em;83 margin-bottom: 0.5em;87 margin-top: 0;94 margin: 0;111 margin-top: 4.0em;123 margin-top: 1.5em;[all …]
24 margin: 0;35 margin-right: 5px;50 margin-left: -100%;60 margin-left: 20px;65 margin-top: 0;66 margin-bottom: 0;70 margin-top: 10px;86 margin: 10px 0 0 20px;103 margin: 2px 0 0 30px;139 margin-top: 0;[all …]
8 { margin: 0; padding: 0; border: 0 none; outline: 0; font-size: 100%;18 margin: 1.375em 10%; min-width: 40ex; max-width: 72ex;27 .codepre { margin-bottom:1.375em /* after code example we introduce space. */ }30 { font-size : 0.813em; line-height:0; margin-left:0.4ex;}44 h1 + pre { margin-bottom:1.375em} /* Toplevel module description */48 /* .navbar { margin-bottom: -1.375em } */49 h1 { font-weight: bold; font-size: 1.5em; /* margin-top:1.833em; */50 margin-top:0.917em; padding-top:0.875em;52 h2 { font-weight: bold; font-size: 1.313em; margin-top: 1.048em }53 h3 { font-weight: bold; font-size: 1.125em; margin-top: 1.222em }[all …]
3 margin-bottom: 30px;17 margin-top: 3px;22 margin-top: 0;23 margin-bottom: 10px;44 margin: 0;72 margin: 0;99 margin-top: 9px;108 margin-bottom: -14pt;112 margin-left: 0;113 margin-right: 10px;[all …]
14 margin:0;22 margin:0;61 margin: 0;66 margin: .35em 0 0 0;80 margin:.5em 0 0 0;126 margin:0;153 margin:0;181 margin: 0;185 margin: 0 3px 0 0;190 margin: 0;[all …]
11 margin: 0;51 margin:0;61 margin:0 0 1em;79 margin:0 0 1em 1em;85 margin:1em 0;94 margin:0 0 .8em;103 margin:0 0 1em 0;108 margin:0;113 margin:0 0 1em;118 margin:.5em 0 0;[all …]
17 margin: 1em;56 margin-bottom: .5em;57 margin-top: .5em;68 margin-bottom: 0.5em;70 margin-top: 12pt;87 margin-bottom: 0pt;89 margin-left: 1em;90 margin-top: 1em;106 margin-left: 1.5em;107 margin-bottom: 0pt;[all …]
2 margin: 0px;11 margin-left: -2px;12 margin-right: -2px;34 margin: 0px;58 margin-right: 1.5em;59 margin-left: 177px;68 margin: 0;73 margin: 0;97 margin-top: 10px;98 margin-bottom: 3px;[all …]
23 margin: 2px;32 margin: 2px;40 margin: 2px;41 margin-right: 15px;81 DL.el { margin-left: -1cm }89 margin-top: 4px;90 margin-bottom: 4px;91 margin-left: 2px;92 margin-right: 8px;98 DIV.ah { background-color: black; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top…[all …]
15 margin: 0;55 margin:0;65 margin:0 0 1em;83 margin:0 0 1em 1em;89 margin:1em 0;98 margin:0 0 .8em;107 margin:0 0 1em 0;112 margin:0;117 margin:0 0 1em;122 margin:.5em 0 0;[all …]
4 margin: 0px;46 margin: 1em 0;48 margin-left: 2em;49 margin-right: 10%;57 margin: 1em 0;59 margin-left: 2em;60 margin-right: 10%;66 margin-bottom: 1em;70 margin-left: 2em;88 margin-left: 2em;[all …]
25 /* Override more specific margin styles with "! important". */26 margin-top: 0 ! important }29 margin-bottom: 0 ! important }39 margin: 2em 5em ; }42 margin-bottom: 0.5em }50 margin: 2em 5em }58 margin: 2em ;78 margin-bottom: 0.5em }81 margin-top: 0.5em }85 margin: 2em 5em ;[all …]
18 margin: 10px 2px;41 margin-top: 2px;45 margin-bottom: 0px;49 margin-bottom: 4px;53 margin-bottom: 2px;84 margin-right: 15px;136 margin-left: -1cm;148 margin: 4px 8px 4px 2px;159 margin-bottom: 3px;160 margin-top: 3px;[all …]
1 html { margin: 0px; } body { margin: 8px; }5 margin:0px;14 h1 { padding-top:0px; margin-top:0px;}16 h3 { padding-top: 0.5em; margin-bottom: -0.25em; color:#2d58b7 }30 margin-left: auto;31 margin-right: auto34 #page { width:930px; text-align: left; margin: 0 auto; padding:0;61 table.options { margin-left:0px; margin-top:20px; margin-bottom:20px }69 margin:0px; margin-top:20px; margin-bottom:20px;91 table.checkers div.example { border-top:1px #cccccc dashed; width:100%; padding-top: 5px; margin-to…[all …]
16 margin: 10px 2px;24 margin-top: 1.75em;40 margin-right: 15px;59 margin-top: 2px;63 margin-bottom: 0px;67 margin-bottom: 4px;71 margin-bottom: 2px;102 margin-right: 15px;154 margin-left: -1cm;161 margin: 4px 8px 4px 2px;[all …]
18 margin: 10px 2px;35 margin-right: 15px;54 margin-top: 2px;58 margin-bottom: 0px;62 margin-bottom: 4px;66 margin-bottom: 2px;97 margin-right: 15px;149 margin-left: -1cm;156 margin: 4px 8px 4px 2px;167 margin: 4px;[all …]
12 margin: 2em;22 margin: 2em 0em;45 margin: 0;50 margin: 0.5em 0 1em 0;70 margin: 0;93 margin-bottom: 0em;104 margin: 0em;110 margin-bottom: 0.5em;116 margin-bottom: 0.5em;122 margin-bottom: 0.5em;[all …]
9 …margin:0;font-size:100%;vertical-align:middle}button,input{*overflow:visible;line-height:normal}bu…18 …margin-left:-30px;*zoom:1}.row:before,.row:after{display:table;line-height:0;content:""}.row:after…