diff options
Diffstat (limited to 'html/style.css')
| -rw-r--r-- | html/style.css | 37 |
1 files changed, 28 insertions, 9 deletions
diff --git a/html/style.css b/html/style.css index b70dcd7..3e962ca 100644 --- a/html/style.css +++ b/html/style.css @@ -17,6 +17,11 @@ background-color: #E1E1E1; border: 1px solid #808080; color: #5C5C5C; + border-radius: .3em; + -webkit-border-radius: .3em; + -moz-border-radius: .3em; + -webkit-box-shadow: 2px 2px 3px #999; + -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px; } pre { background-color: #CEE7FF; @@ -50,16 +55,30 @@ h4.function { margin-right: 3em; font-weight: normal; } +div.function { + border: 1px solid #93ADE3; + border-radius: .3em; + -webkit-border-radius: .3em; + -moz-border-radius: .3em; + -webkit-box-shadow: 2px 2px 3px #999; + -moz-box-shadow: rgba(0, 0, 0, 0.15) 2px 2px 2px; + margin-bottom: 1em; +} pre.function { - font-family: "Courier New", Courier, monospace; - background-color: #E1E1E1; - border: 1px solid #B1B1B1; - padding: 10px; - font-size: 100%; - line-height: 125%; - margin-left: 0.5em; - margin-right: 3em; - font-weight: normal; + margin: 0px; + font-family: "Courier New", Courier, monospace; + background-color: #E9E9E9; + border-top-left-radius: .3em; + -moz-border-radius-topleft: .3em; + -webkit-border-top-left-radius: .3em; + border-top-right-radius: .3em; + -moz-border-radius-topright: .3em; + -webkit-border-top-right-radius: .3em; + border: 0; + padding: 10px; + font-size: 100%; + line-height: 125%; + font-weight: normal; } .mainFunction { font-size: 110%; |