MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-26 19:06:24 +07:00
Code Issues Packages Projects Releases Wiki Activity

Rename educational plugins and update plugin's description

Browse Source 
edu --> educational-python
educational --> educational-core
interactive-learning --> student
This commit is contained in:
Valentina Kiryushkina
2016-01-26 19:36:12 +03:00
parent 6d4ac4bc0e
commit 7e5a5b849a
703 changed files with 53 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/educational-python/resources/tips/css/tips.css
+60
View File
@@ -0,0 +1,60 @@
body {
/*background: #ffffff;*/
margin-left: 10px;
margin-right: 2px;
margin-bottom: 6px;
}
h1, p, ul {
font-family: 'MS Reference Sans Serif', verdana, arial, sans-serif;
}
.code, .code_emphasis, .code_keyword, pre, .shortcut {
font-family: 'Lucida Console', monospace;
}
h1, p, pre, ul {
/*font-size: 10px;*/
/*color: #3f3f3f;*/
}
p, ul {
margin-top: 6px;
}
h1, p, ul {
margin-bottom: 0;
}
ul {
margin-left: 0;
padding-left: 14px;
}
h1, .image, pre {
margin-top: 10px;
}
.image, pre {
margin-bottom: 2px;
}
pre {
margin-right: 6px;
border-style: solid;
border-width: 1px;
border-color: #d0d0d0;
background-color: #fbfbfb;
padding-left: 10px;
padding-top: 6px;
padding-bottom: 6px;
}
.control, h1 {
font-weight: bold;
}
.control {
color: #808080;
}
.caret, .code_emphasis, .code_keyword, .emphasis, .shortcut {
color: #990000;
}
pre .keyword{
color: #000080;
}
h1 .product {
color: #264db5;
}
h1 .version {
color: #f58220;
}