| body { |
| background-color: white; |
| } |
| |
| div.centerDiv { |
| margin-left: auto; |
| margin-right: auto; |
| width: 900px; |
| } |
| |
| div.centerDiv form { |
| position: relative; |
| } |
| |
| h1 { |
| color: #9999ff; |
| text-align: center; |
| } |
| |
| div#backGroundFloat { |
| position: fixed; |
| z-index: -1; |
| background-color: black; |
| left: 0px; |
| top: 0px; |
| width: 100%; |
| height: 100%; |
| background-image: url("../resources/img/sig07-009_mac.jpg"); |
| background-repeat: no-repeat; |
| overflow: hidden; |
| } |
| |
| #hello { |
| background-color: yellow; |
| } |
| |
| .stdBox, .stdBoxBig, .messageBox { |
| display: block; |
| width: 400px; |
| border: 1px solid white; |
| -moz-border-radius: 10px; |
| -webkit-border-radius: 10px; |
| padding: 5px; |
| border-radius: 8px; |
| background-repeat: repeat-x; |
| margin-bottom: 5px; |
| min-height: 120px; |
| |
| } |
| |
| .stdBoxBig { |
| width: 800px; |
| } |
| |
| .stdBox, .stdBoxBig { |
| background-color: white; |
| background-image: url("../resources/img/gradient1.jpg"); |
| } |
| |
| .messageBox { |
| background-image: url("../resources/img/gradient2.png"); |
| } |
| |
| /*================================================= |
| Standard Menu |
| ===================================================*/ |
| div#menu { |
| background-color: white; |
| opacity: 0.9; |
| position: absolute; |
| left: 0px; |
| top: 0px; |
| width: 100%; |
| padding: 5px; |
| font-weight: bold; |
| |
| } |
| |
| div#menu a { |
| color: blue; |
| margin-right: 10px; |
| } |
| |
| div#menu a:hover { |
| color: red; |
| } |
| |
| /*================================================== |
| Basic CSS information for our |
| taint history component |
| we do not use the compound |
| css for error and history |
| for readability reasons |
| although we have load |
| of duplication here |
| ====================================================*/ |
| |
| div.historyBox { |
| width: 820px; |
| heigh: 200px; |
| |
| display: block; |
| overflow: auto; |
| border: 1px solid white; |
| color: #dedddd; |
| opacity: 0.92; |
| |
| -moz-border-radius: 10px; |
| -webkit-border-radius: 10px; |
| border-radius: 5px; |
| |
| padding: 5px; |
| margin-left: 10px; |
| |
| background-image: url("../resources/img/gradient2.png"); |
| background-repeat: repeat-x; |
| } |
| |
| div.historyBox .line { |
| display: table; |
| width: 780px; |
| |
| border: 1px dashed black; |
| background-color: #ccccff; |
| color: black; |
| padding: 5px; |
| margin-top: 10px; |
| margin-left: auto; |
| margin-right: auto; |
| -moz-border-radius: 5px; |
| -webkit-border-radius: 5px; |
| |
| border-radius: 5px; |
| } |
| |
| div.historyBox .line .timestamp { |
| width: 120px; |
| float: left; |
| color: red; |
| } |
| |
| div.historyBox .line .changedFile { |
| width: 650px; |
| overflow: hidden; |
| display: block; |
| float: left; |
| } |
| |
| /*================================================== |
| Basic CSS information for our compiler |
| output component |
| ====================================================*/ |
| |
| div.errorsLabel { |
| font-size: large; |
| padding-top: 5px; |
| padding-bottom: 10px; |
| padding-left: 5px; |
| } |
| |
| div.warningsLabel { |
| font-size: large; |
| padding-top: 5px; |
| padding-bottom: 10px; |
| padding-left: 5px; |
| width: 100%; |
| margin-top: 10px; |
| border-top: 1px solid black; |
| } |
| |
| div.errorBox { |
| width: 820px; |
| heigh: 200px; |
| |
| display: block; |
| overflow: auto; |
| border: 1px solid white; |
| color: #dedddd; |
| opacity: 0.92; |
| |
| -moz-border-radius: 10px; |
| -webkit-border-radius: 10px; |
| border-radius: 5px; |
| |
| padding: 5px; |
| margin-left: 10px; |
| |
| background-image: url("../resources/img/gradient2.png"); |
| background-repeat: repeat-x; |
| } |
| |
| div.errorBox .line { |
| display: table; |
| width: 780px; |
| |
| border: 1px dashed black; |
| background-color: #ccccff; |
| color: black; |
| padding: 5px; |
| margin-top: 10px; |
| margin-left: auto; |
| margin-right: auto; |
| -moz-border-radius: 5px; |
| -webkit-border-radius: 5px; |
| |
| border-radius: 5px; |
| } |
| |
| div.errorBox .line .lineNo { |
| width: 40px; |
| float: left; |
| color: red; |
| } |
| |
| div.errorBox .line .lineNo { |
| width: 30px; |
| float: left; |
| padding-left: 5px; |
| font-weight: bold; |
| font-size: large; |
| } |
| |
| div.errorBox .line .message { |
| width: 738px; |
| display: block; |
| float: left; |
| } |
| |
| .left { |
| position: absolute; |
| left: 10px; |
| top: 20px; |
| } |
| |
| .right { |
| position: absolute; |
| left: 430px; |
| top: 20px; |
| } |
| |
| .label { |
| font-weight: bold; |
| color: black; |
| width: 150px; |
| padding-right: 5px; |
| } |
| |
| .input input, .input textArea { |
| width: 200px; |
| } |
| |
| input, textArea { |
| border: 1px solid black; |
| } |
| |
| input:focus, textArea:focus { |
| background-color: yellow; |
| } |
| |
| input.btn { |
| width: 100px; |
| margin-left: 263px; |
| } |
| |
| |
| .celltop { |
| vertical-align:top; |
| } |