Searched refs:margin (Results 1 – 25 of 683) sorted by relevance
12345678910>>...28
7 body { overflow: auto; margin-top: 0px; margin-bottom: 0px; margin-left: 0.3em; margin-right: …8 div { margin: 0px; }9 h1 { margin-top: 0.3em; margin-bottom: 0.04em; } 10 h2 { margin-top: 2em; margin-bottom: 0.25em; }11 h3 { margin-top: 1.7em; margin-bottom: 0.25em; }12 h4 { margin-top: 2em; margin-bottom: 0.3em; }13 h5 { margin-top: 0px; margin-bottom: 0px; }14 p { margin-top: 0em; margin-bottom: 0em; }15 pre { margin-left: 0.6em; }16 ul { margin-top: 0px; margin-bottom: 1em; }[all …]
5 #preview-area .margin-control {10 #preview-area .margin-control.invisible {15 #preview-area .margin-control.margin-control-top,16 #preview-area .margin-control.margin-control-bottom {22 #preview-area .margin-control.margin-control-left,23 #preview-area .margin-control.margin-control-right {29 #preview-area .margin-control.margin-control-disabled {33 #preview-area .margin-control-line {39 #preview-area .margin-control-disabled .margin-control-line {43 #preview-area .margin-control-top .margin-control-line,[all …]
2 margin-left: 0.5in;3 margin-right: 0.5in;9 margin-left: -0.2in;13 margin-left: -0in;17 margin-left: -0in;20 margin-left: -0in;23 margin-left: -0in;43 margin-right: 0%;50 margin-top: -0em;51 margin-bottom: -0em;[all …]
27 td p.noindent { text-indent: 0em; margin-top:0em; }32 center { margin-top:1em; margin-bottom:1em; }33 td center { margin-top:0em; margin-bottom:0em; }37 li p:first-child{ margin-top:0em; }38 li p:last-child, li div:last-child { margin-bottom:0.5em; }39 li p~ul:last-child, li p~ol:last-child{ margin-bottom:0.5em; }44 div.newtheorem { margin-bottom: 2em; margin-top: 2em;}46 div.obeylines-v p { margin-top:0; margin-bottom:0; }57 div.center, div.center div.center {text-align: center; margin-left:1em; margin-right:1em;}63 .underline img{ border-bottom: 1px solid black; margin-bottom:1pt; }[all …]
4 margin: 10px 0;20 margin: 10px 0;24 margin: 0 25px;32 margin: 10px 0;36 margin-bottom: 10px;40 margin-bottom: 30px;50 margin: 10px 0;59 margin-bottom: 6px;60 margin-top: 6px;95 margin: 4px 10px;[all …]
19 margin-top: 2.0em;20 margin-bottom: 0.5em;28 margin-top: 2.0em;42 margin: 2px;52 margin-right: 15px;98 margin-left: -1cm;110 margin: 4px 8px 4px 2px;117 margin-bottom: 3px;118 margin-top: 3px122 margin-left: 16px;[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 …]
10 margin-bottom: 20px;15 margin-left: 20px;16 margin-right: 20px;46 margin-top: 20px;58 margin-left: 5px;76 margin-bottom: 25px;77 margin-top: 15px;86 margin-left: auto;87 margin-right: auto;91 margin-bottom: 30px;[all …]
9 margin: 0;24 -webkit-margin-start: 15px;30 margin-top: 0;35 margin-top: 0;47 margin-bottom: 0;52 margin-bottom: 7px;53 margin-top: 7px;58 margin-bottom: 8px;62 margin-top: 0;66 margin-bottom: 0;[all …]
24 margin:1em 0;51 margin:3px 8px68 margin:1em 0 0 0;75 margin:1em 0 0 0;104 margin:1em 0 0 0;112 margin:1em 90px 0 70px;119 margin:1em 0123 margin-bottom:0157 margin: 0 0 0 -10px;166 margin: 2em 0 0 -10px;[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 …]
2 margin: 10px 8px;6 margin: 0 6px 0 3px;11 margin: 0 3px 0 6px;19 margin-left: auto;20 margin-right: auto;21 margin-top: 66px;27 margin-left: auto;28 margin-right: auto;29 margin-top: 5px;33 margin: 10px 5px 0 0px;
30 margin-left: 15px;31 margin-top: -25px;48 margin-top: 0;49 margin-bottom: -25px;58 margin-top: 0;59 margin-bottom: -25px;65 margin-top: 15px;66 margin-left: -25px;73 margin-bottom: 15px;74 margin-left: -25px;[all …]
17 margin-bottom: 20px;18 margin-left: 20px;19 margin-right: 20px;20 margin-top: 20px;25 margin-left: 20px;26 margin-right: 20px;30 margin-top: 30px;34 margin-bottom: 18px;35 margin-left: 18px;36 margin-right: 18px;[all …]
15 margin: 0;23 margin: 40px auto;38 margin-top: 23px;53 -webkit-margin-end: 260px;57 margin-top: 20px;61 -webkit-margin-end: 260px;64 margin-bottom: 21px;65 margin-top: 14px;69 -webkit-margin-start: 10px;76 margin-top: 50px;[all …]
15 margin: 1em;31 margin-bottom: .5em;32 margin-top: .5em;49 margin-bottom: 0.5em;51 margin-top: 12pt;72 margin-bottom: 0pt;73 margin-top: 12pt;75 margin-left: 1em;76 margin-top: 0.2em;93 margin-left: 1.5em;[all …]
17 margin-top: 10px;21 -webkit-margin-start: 10px;25 margin-top: 30px;29 margin-top: 5px;33 margin-top: 10px;46 -webkit-margin-end: 4px;50 margin-top: 16px;55 margin-top: 200px;62 margin-right: 4px;100 margin-bottom: 1.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 …]
4 margin: 0;8 margin: 0;9 margin-top: 1em ! important;10 margin-bottom: 1em ! important;16 margin: 0;17 margin-left: 10% ! important;22 margin: 0;33 margin-left:10%;34 margin-right:10%;
8 margin: 5px 0;24 margin: 5px 0 10px 0;28 margin: 0 25px;36 margin: 10px 0;46 margin-bottom: 10px;51 margin-bottom: 30px;56 margin: 10px 0;60 margin-top: 0;64 margin-bottom: 0;70 margin-bottom: 6px;[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 …]