Created
April 5, 2017 15:05
-
-
Save BigEd/56f6c0001c8670d1647d5448e91346d6 to your computer and use it in GitHub Desktop.
green bar paper in css
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<!DOCTYPE html> | |
<html> | |
<head> | |
<style> | |
html { | |
background: #dddddd; | |
background-image: | |
radial-gradient(rgba(221,221,221,0) 0%, rgba(221,221,221,0) 29%, #ffffff 31%, #ffffff 100%), | |
radial-gradient(rgba(0,0,0,0) 0%, rgba(0,0,0,0) 29%, rgba(0,0,0,.15) 31%, rgba(0,0,0,.15) 100%), | |
radial-gradient(rgba(221,221,221,0) 0%, rgba(221,221,221,0) 29%, #ffffff 31%, #ffffff 100%), | |
radial-gradient(rgba(0,0,0,0) 0%, rgba(0,0,0,0) 29%, rgba(0,0,0,.15) 31%, rgba(0,0,0,.15) 100%); | |
background-position: | |
left top, | |
left 1px, | |
right top, | |
right 1px; | |
background-repeat: repeat-y; | |
background-size: 40px 40px; | |
padding: 0 40px; | |
} | |
body { | |
border-width: 0 1px; | |
border-style: dashed; | |
border-color: #dcdfdb; | |
font-family: monospace; | |
color: dark-gray; | |
text-shadow: 0 0 1px; | |
font-size: 16px; | |
line-height: 20px; | |
padding: 20px; | |
margin: 0; | |
background-color: #eff7ed; | |
} | |
.wrapper { | |
border: 1px solid green; | |
xborder-radius: 10px; | |
padding: .1px 20px; | |
background-color: white; | |
background-image: linear-gradient(to bottom, white 0px, white 59px, darkseagreen 60px, palegreen 61px,palegreen 119px,darkseagreen 120px); | |
background-size: 100% 120px; | |
} | |
p { | |
margin: 20px 0; | |
} | |
</style> | |
</head> | |
<body> | |
<div class="wrapper"><pre> | |
begin | |
real procedure A (k, x1, x2, x3, x4, x5); | |
value k; integer k; | |
begin | |
real procedure B; | |
begin k:= k - 1; | |
B:= A := A (k, B, x1, x2, x3, x4); | |
end; | |
if k <= 0 then A:= x4 + x5 else B; | |
end; | |
outreal (A (10, 1, -1, -1, 1, 0)); | |
end; | |
</div> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment