diff options
author | Jeffrey Armstrong <jeff@approximatrix.com> | 2021-05-12 14:21:05 -0400 |
---|---|---|
committer | Jeffrey Armstrong <jeff@approximatrix.com> | 2021-05-12 14:21:05 -0400 |
commit | c5a514ac0d29a58a79a708771fe4b2a16d400031 (patch) | |
tree | 20840ea805ed2c9998575e239c7cb7644fae8531 /captain/example | |
parent | 9ac19f108c1b69025572bf32e310b332ef098c98 (diff) | |
download | levitating-c5a514ac0d29a58a79a708771fe4b2a16d400031.tar.gz levitating-c5a514ac0d29a58a79a708771fe4b2a16d400031.zip |
Added some CSS styling. Fixed checks for zero-length pointers since it seems to freak out Fortran.
Diffstat (limited to 'captain/example')
-rw-r--r-- | captain/example/static/style.css | 98 |
1 files changed, 98 insertions, 0 deletions
diff --git a/captain/example/static/style.css b/captain/example/static/style.css new file mode 100644 index 0000000..0a7a556 --- /dev/null +++ b/captain/example/static/style.css @@ -0,0 +1,98 @@ +body { + font-family: Sans-Serif; + margin:0; + padding:0; + font-size: 1.0em; +} + +.heading { + background-color: #ddd; + margin:0; + padding:0; + border-bottom: 1px solid #333333; + width:100%; + top: 0px; + font-weight: 600; + position: fixed; +} + + +.heading li a:link, #headerlinks li a:active { + color: #000; + text-decoration: none; +} + +.heading li a:visited { + color: #000; +} + +.heading ul { + margin-left: 0px; + padding-left: 0px; + margin-right:1.2em; + list_style: none; + float: right; +} + +.heading li { + margin-left: 0px; + padding-left: 5px; + padding-right: 5px; + display: inline; +} + +.heading h1 { + margin-top: 0.2em; + margin-bottom: 0px; + padding: 0; + margin-left:5px; + margin-right:5px; + font-size:1.8em; +} + + +.content { + margin-top: 80px; + clear:both; + margin-left: 1em; + margin-right: 1em; + margin-bottom: 30px; +} + +.footing { + border-top: 1px solid #333333; + text-align: center; + font-size: small; +} + +.joblist { + list-style-type: none; +} + +.job_result_listitem { + font-size: small; + border: 1px solid #333333; + width: 300px; + margin-top: 5px; + margin-bottom: 5px; + padding-left: 10px; + padding-right: 10px; +} + +.failure { + background-color: #fcc; +} + +.success { + background-color: #cfc; +} + +.working { + background-color: #ffc; +} + +@media only screen and (max-width: 590px) { + .heading h1 { + display:none; + } +} |