Searched refs:margin (Results 1 – 25 of 437) sorted by relevance
12345678910>>...18
9 margin-left: 0px;15 margin-left: 0pt;16 margin-bottom: 0px;22 margin-left: 0;28 margin-top: 5pt;29 margin-bottom: 0;35 margin-top: 5pt;36 margin-bottom: 0;58 margin-top: 0;59 margin-bottom: 5pt;[all …]
5 margin: 0px;28 margin: 1.33em 40px;40 margin: 1.33em 0em; 48 margin: 1.33em 40px;53 margin: 1.33em 0px;57 margin: 1.33em 40px;70 margin-left: 160px; 77 margin: 0.8em 8px;98 margin-left: 160px;99 margin-right: 10px;[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 …]
7 margin: 0;19 margin: 0 230px 0 0;30 margin: 10px 15px 10px 0;35 margin-left: -100%;65 margin: 0;77 margin-right: 5px;82 margin: 0;86 margin: 5px 0 0 0;90 margin: 5px 10px 10px 10px;94 margin: 10px;[all …]
24 margin: 0;35 margin-right: 5px;47 margin-left: -100%;57 margin-left: 20px;62 margin-top: 0;63 margin-bottom: 0;67 margin-top: 10px;83 margin: 10px 0 0 20px;100 margin: 2px 0 0 30px;136 margin-top: 0;[all …]
18 margin: 0px 80px 0px 80px;48 margin-left: 0.5em;63 margin: 2em;102 margin: 0;107 margin: 0;111 margin-bottom: 15px;115 margin-top: 0px;119 margin-bottom: 10px;123 margin-top: 3px;124 margin-bottom: 10px;[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 …]
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 …]
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 …]
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 …]
8 margin-right: 100px;9 margin-left: 100px;19 margin-top: 2em;20 margin-bottom: 1em;30 margin-top:1.5em;31 margin-bottom:.75em;45 margin: 0 0 1.5em;84 margin-top: 3.5em;156 margin-left: 50%;162 margin-left: 50%;[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 …]
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 …]
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 …]
12 margin:0 auto;21 margin-left: 300px;40 margin-left: 3em;53 margin: 0px;54 margin-left: -3px;60 margin-left: 26em;86 margin-top:1em;90 margin-top:1em;97 margin-top:0.5em;110 margin-top: 1em;[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 …]
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 …]
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 …]