Create New Item
Item Type
File
Folder
Item Name
Search file in folder and subfolders...
Are you sure want to rename?
File Manager
/
CGI
/
EDA
/
wavedrom
:
tutorial.css
Advanced Search
Upload
New Item
Settings
Back
Back Up
Advanced Editor
Save
body { padding: 20px; font-family: 'Varela Round', Arial, sans-serif; font-size: 18px; margin: 0px; } div.content { padding: 20px; font-family: Roboto; padding-left: 2%; width: 1024px; margin-left: auto; margin-right: auto; } pre { background: #efe; border: 10px solid #efe; font-family: "Droid Sans Mono", Consolas, "Courier New", monospace; text-align: left; margin-left: auto; margin-right: auto; } .fixed { white-space:nowrap; font-family: "Droid Sans Mono", Consolas, "Courier New", monospace; background-color:#eee; font-weight:normal; padding:0px 3px; font-weight:bold; }