jsos

college code for operating system fundamentals in js

git clone https://9o.is/git/jsos.git

commit 1a4469efd985b98ec8d6984129feb326219e6f90
parent a24c318a47bf19ea68250964dd39bbd096970607
Author: Jul <jul@9o.is>
Date:   Mon,  3 Dec 2012 09:15:57 -0500

Modified css.

Diffstat:
Mstyles/julios-buttons.css | 9+++++++++
Mstyles/julios.css | 4++++
2 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/styles/julios-buttons.css b/styles/julios-buttons.css @@ -19,6 +19,9 @@ padding: 0.3em 1em; border-width: 1px; background-image: -moz-radial-gradient(50% 10%, circle, #ffffff 0%, #c1c1c1 30px); + background-image: -webkit-radial-gradient(50% 10%, circle, #ffffff 0%, #c1c1c1 30px); + background-image: -o-radial-gradient(50% 10%, circle, #ffffff 0%, #c1c1c1 30px); + background-image: -ms-radial-gradient(50% 10%, circle, #ffffff 0%, #c1c1c1 30px); border-color: #b7b7b7; text-shadow: #fff 0px 1px 1px; box-shadow: rgba(255,255,255,0.867) 0 0 0.1em 1px inset; @@ -35,6 +38,9 @@ .btnicon28:focus { background-color: #fff; background-image: -moz-radial-gradient(50% 10%, circle, #fcfcfc 0%, #b9b9b9 30px); + background-image: -webkit-radial-gradient(50% 10%, circle, #fcfcfc 0%, #b9b9b9 30px); + background-image: -o-radial-gradient(50% 10%, circle, #fcfcfc 0%, #b9b9b9 30px); + background-image: -ms-radial-gradient(50% 10%, circle, #fcfcfc 0%, #b9b9b9 30px); border-color: #afafaf; text-shadow: #fff 0px 1px 1px; outline: none; @@ -46,6 +52,9 @@ .btnicon28:active { background-color: #fff; background-image: -moz-radial-gradient(50% 10%, circle, #d8d8d8 0%, #f1f1f1 30px); + background-image: -webkit-radial-gradient(50% 10%, circle, #d8d8d8 0%, #f1f1f1 30px); + background-image: -o-radial-gradient(50% 10%, circle, #d8d8d8 0%, #f1f1f1 30px); + background-image: -ms-radial-gradient(50% 10%, circle, #d8d8d8 0%, #f1f1f1 30px); border-color: #a7a7a7; box-shadow: #b7b7b7 0 0.08em 0.1em 1px inset; } diff --git a/styles/julios.css b/styles/julios.css @@ -5,6 +5,10 @@ body { font-weight: normal; font-style: normal; font-size: 10pt; + background-image: -moz-radial-gradient(50% 10%, ellipse, #ffffff 0%, #ececec 1340px); + background-image: -webkit-radial-gradient(50% 10%, ellipse, #ffffff 0%, #ececec 1340px); + background-image: -o-radial-gradient(50% 10%, ellipse, #ffffff 0%, #ececec 1340px); + background-image: -ms-radial-gradient(50% 10%, ellipse, #ffffff 0%, #ececec 1340px); } #display {